Hacker GitHub

← All repos

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

Mentions per year 7 mentions · busiest year 2026 (5)
20082026
AllStoriesComments NewestTopOldest
  1. …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
  2. …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)
  3. ▲ 1
    Show HN: Single file Lambda Calculus' demonstrating various type system features
    story by solomonb · 2026-04-15 · 0 comments
  4. ▲ 3
    Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory
    story by birdculture · 2026-04-15 · 0 comments
  5. …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
  6. …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
  7. …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)