Hacker GitHub

← All repos

mortberg/cubicaltt

View on GitHub ↗ ★ 610 Haskell

Experimental implementation of Cubical Type Theory

4 mentions on Hacker News by 4 people: 1 story, 3 comments · first 2015-07-11 · latest 2017-10-31

Mentions per year 4 mentions · busiest year 2017 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Cubicaltt: Cubical Type Theory
    story by guifortaine · 2016-04-11 · 0 comments