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. ▲ 1
    Pie: A Little Language with Dependent Types
    story by ghosthamlet · 2018-05-06 · 0 comments