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. ▲ 1
    Show HN: Single file Lambda Calculus' demonstrating various type system features
    story by solomonb · 2026-04-15 · 0 comments
  2. ▲ 3
    Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory
    story by birdculture · 2026-04-15 · 0 comments