Lament Configuration
source
log in
Brutal [Meta]Introduction to Dependent Types in Agda
http://oxij.org/note/BrutalDepTypes/
pl
deptype
2016-01-16 10:52:33
—
@gdritter
