• Simulate Lambda Terms in Lambda Calculus https://hbr.github.io/Lambda-Calculus/lam-simu/index.html 2 comments 13/9/2024 ocaml
• Simulate Lambda Terms in Lambda Calculus https://hbr.github.io/Lambda-Calculus/lam-simu/index.html 4 comments 13/9/2024 haskell
• Dependent Types in its Purest Form https://hbr.github.io/Lambda-Calculus/cc-tex/index.html 27 comments 7/10/2022 haskell