LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
Haskell
109
469 commits
updated Feb 27, 2023
Here are some instructions on how to use the ling tool chain.
If you're new to Haskell your simplest option might be to install stack: http://docs.haskellstack.org/en/stable/README.html#how-to-install
Once the repository is cloned, you can setup a local Haskell environment:
$ stack setup
Then to build the tool chain:
$ stack build
Finally you can run the compiler on a simple example:
$ stack exec -- ling --seq --fuse --pretty --compile fixtures/compile/double.ll
The command above is type checking, apply sequencing and fusion. It finally prints the final version in Ling and in C.
Various contributions can be made whether you know Haskell or not.
Beside hacking on the tool chain, you can:
Haskell
45.9%
Shell
32.9%
LLVM
19.8%
TeX
1.0%
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
Haskell
109
469 commits
updated Feb 27, 2023
Here are some instructions on how to use the ling tool chain.
If you're new to Haskell your simplest option might be to install stack: http://docs.haskellstack.org/en/stable/README.html#how-to-install
Once the repository is cloned, you can setup a local Haskell environment:
$ stack setup
Then to build the tool chain:
$ stack build
Finally you can run the compiler on a simple example:
$ stack exec -- ling --seq --fuse --pretty --compile fixtures/compile/double.ll
The command above is type checking, apply sequencing and fusion. It finally prints the final version in Ling and in C.
Various contributions can be made whether you know Haskell or not.
Beside hacking on the tool chain, you can:
Haskell
45.9%
Shell
32.9%
LLVM
19.8%
TeX
1.0%