-
- Downloads
Initial Commit
parents
Branches
No related tags found
Showing
- .gitignore 2 additions, 0 deletions.gitignore
- ChangeLog.md 5 additions, 0 deletionsChangeLog.md
- LICENSE 20 additions, 0 deletionsLICENSE
- Setup.hs 2 additions, 0 deletionsSetup.hs
- cabal.sandbox.config 25 additions, 0 deletionscabal.sandbox.config
- lambda-calculus.cabal 66 additions, 0 deletionslambda-calculus.cabal
- src/Evaluator.hs 17 additions, 0 deletionssrc/Evaluator.hs
- src/Main.hs 28 additions, 0 deletionssrc/Main.hs
- src/Parser.hs 43 additions, 0 deletionssrc/Parser.hs
- src/Pretty.hs 17 additions, 0 deletionssrc/Pretty.hs
- src/Syntax.hs 9 additions, 0 deletionssrc/Syntax.hs
Loading
Please register or sign in to comment