Hacker GitHub

← All repos

desi-ivanov/ts-lambda-calc

View on GitHub ↗ ★ 18 TypeScript

Type-Level Lambda Calculus interpreter with TypeScript

6 mentions on Hacker News by 1 person: 2 stories, 4 comments · first 2021-12-15 · latest 2025-02-26

Mentions per year 6 mentions · busiest year 2021 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 10
    Show HN: Type-level Lambda Calculus interpreter in TypeScript
    story by evolveyourmind · 2021-12-17 · 1 comment
  2. ▲ 2
    Show HN: Lambda Calculus evaluation with type-annotations in TypeScript
    story by evolveyourmind · 2021-12-15 · 0 comments