Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Ling
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
MiniC
BNFC regen
February 23, 2023 22:52
docs
Single channel allocations and others improvements
September 20, 2016 18:31
examples
Add support for complex numbers (from C99)
October 5, 2016 19:15
exec
Fix the build: exec/, *.[xy], */Test.hs, ErrM
March 7, 2016 08:32
fixtures
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
issues
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
new
More flexible telescopes (close Issue#12)
November 4, 2015 11:06
tests
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
tools
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
.gitattributes
Issue#24: Basic support for annotation on channel allocation
December 7, 2015 23:55
.gitignore
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
.travis.yml
Make travis notify the gitter.im channel
August 31, 2016 15:17
LICENSE
Rename Lin into Ling
June 5, 2015 12:14
Ling.cf
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
Ling.hs
Add support for complex numbers (from C99)
October 5, 2016 19:15
Ling.tex
Rename Lin into Ling
June 5, 2015 12:14
MiniC.cf
Compile: add ctype for external C types
October 5, 2016 00:52
README.md
Travis status badge
May 3, 2016 22:02
Setup.hs
Initial import
May 21, 2015 18:14
bnfc-regen.sh
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
check.sh
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
cll.txt
cll.txt
September 22, 2016 17:05
env.sh
env.sh partial fix
February 24, 2023 21:05
flake.lock
new nix support
February 23, 2023 22:56
flake.nix
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
ling.cabal
Update package.yaml and ling.cabal
February 24, 2023 21:02
mkdocs.yml
Less bugs, more tests, more docs
October 15, 2015 23:49
package.yaml
Update package.yaml and ling.cabal
February 24, 2023 21:02
relink.sh
Properly handle applied lambdas + tests update
August 29, 2016 13:19
rules.txt
WIP
September 5, 2016 11:34
run-in-nix-shell
nix2
February 24, 2023 21:04
stack.yaml
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52
stack.yaml.lock
Finish migration to new GHC,BNFC with nix integration
February 27, 2023 17:52