Hacker GitHub

← All repos

latte-central/LaTTe

View on GitHub ↗ ★ 273 Clojure

LaTTe : a Laboratory for Type Theory experiments (in clojure)

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2016-12-18 · latest 2019-01-02

Mentions per year 3 mentions · busiest year 2016 (1)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 4
    LaTTe: a Laboratory for Type Theory experiments (in clojure)
    story by dmmalam · 2016-12-18 · 0 comments