solomon-b/lambda-calculus-hs
View on GitHub ↗ ★ 80 Haskell
A bestiary of lambda calculus
7 mentions on Hacker News by 2 people: 2 stories, 5 comments · first 2023-06-14 · latest 2026-10-10
20082026
-
…project that aims to present a more expanded set of implementations then the elaboration zoo: https://github.com/solomon-b/lambda-calculus-hs
comment by solomonb · 2026-10-10 · in What mathematicians should know about the Lean Theorem Prover: reliability & AI -
…with my Lambda Calculus tutorial repo. I just did a total rewrite of Nominal Inductive Types. https://github.com/solomon-b/lambda-calculus-hs
comment by solomonb · 2026-06-14 · in Ask HN: What are you working on? (June 2026) -
…And here is a set of single file lambda calculus implementations with a variety of extensions: https://github.com/solomon-b/lambda-calculus-hs `polytt` is kind of an ended experiment but that lambda calculus repo i plan to extend in the…
comment by solomonb · 2026-02-20 · in Lil' Fun Langs -
…overly complicated. Here is an STLC with bidir example which I believe to be easier to understand: https://github.com/solomon-b/lambda-calculus-hs/blob/main/ma...
comment by solomonb · 2023-07-09 · in How to keep lambda calculus simple -
…path to MLTT with a number of the desirable language features via bidirectional typechecking. https://github.com/solomon-b/lambda-calculus-hs The project is incomplete and my end goal is a website like the [1 Lab]( https://1lab.dev ) but…
comment by solomonb · 2023-06-14 · in How to implement dependent type theory I (2012)