-
- Downloads
Initial commit
parents
No related branches found
No related tags found
Showing
- .gitignore 3 additions, 0 deletions.gitignore
- ChangeLog.md 5 additions, 0 deletionsChangeLog.md
- LICENSE 20 additions, 0 deletionsLICENSE
- README.md 52 additions, 0 deletionsREADME.md
- Setup.hs 2 additions, 0 deletionsSetup.hs
- cabal.sandbox.config 25 additions, 0 deletionscabal.sandbox.config
- dist-newstyle/cache/compiler 0 additions, 0 deletionsdist-newstyle/cache/compiler
- dist-newstyle/cache/config 0 additions, 0 deletionsdist-newstyle/cache/config
- lambda-calculus.cabal 66 additions, 0 deletionslambda-calculus.cabal
- screencast.gif 0 additions, 0 deletionsscreencast.gif
- src/Evaluator.hs 131 additions, 0 deletionssrc/Evaluator.hs
- src/Main.hs 56 additions, 0 deletionssrc/Main.hs
- src/Parser.hs 43 additions, 0 deletionssrc/Parser.hs
- src/Pretty.hs 85 additions, 0 deletionssrc/Pretty.hs
- src/Syntax.hs 90 additions, 0 deletionssrc/Syntax.hs
- src/Trace.hs 28 additions, 0 deletionssrc/Trace.hs
Loading
Please register or sign in to comment