← All repos

jrslepak/Remora

View on GitHub ↗ ★ 128 Racket

Dependently-typed language with Iverson-style implicit lifting

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2016-04-15 · latest 2019-10-26