Hacker GitHub

← All repos

the-little-typer/pie

View on GitHub ↗ ★ 754 Racket

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

4 mentions on Hacker News by 4 people: 1 story, 3 comments · first 2018-05-06 · latest 2018-09-22

Mentions per year 4 mentions · busiest year 2018 (4)
20082026
AllStoriesComments NewestTopOldest
  1. https://github.com/the-little-typer/pie
    comment by mullr · 2018-09-22 · in The Little Typer
  2. Source code of pie (used in the book) at https://github.com/the-little-typer/pie
    comment by zitterbewegung · 2018-09-22 · in The Little Typer
  3. …to dependent type theory. Check it out! The code implementing the language in the book is here: https://github.com/the-little-typer/pie
    comment by cmrx64 · 2018-09-22 · in The Little Typer