| License | Apache License 2.0 |
|---|---|
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Main
Description
The meme in its final form.
Synopsis
- main :: IO ()
- runTranspiler :: ExceptT String IO ()
- runLambdaCalc :: ExceptT String IO ()
Documentation
The final program, which calls runTranspilerrunLambdaCalc
runTranspiler :: ExceptT String IO () #
Reads from input.il, transpiles the code, and writes it to input.la.
runLambdaCalc :: ExceptT String IO () #
Simplifies the code in input.la and outputs it to output.la.