|
hnu-pl's
repositories
|
|
dockerdev
|
|
00 Orientation.ipynb
|
|
01 Haskell Basics.ipynb
|
|
02 More Haskell Programming.ipynb
|
|
03 Arithmetic expressions.ipynb
|
|
04 Variables and Conditionals.ipynb
|
|
05 Lambda calculus.ipynb
|
|
06 Lambda calculus evaluator (eager).ipynb
|
|
07 Lambda calc with Arith exp.ipynb
|
|
08 Simply-typed lambda calculus.ipynb
|
|
Currying.ipynb
|
|
Dockerfile
|
|
LICENSE
|
|
README.md
|
|
install.sh
|
|
run.sh
|
|
stackDOTyaml
|