Lament Configuration
source
log in
Distributed Data Structures in Coq
http://christophermeiklejohn.com/coq/2013/06/11/distributed-data-structures.html
programming
information
distributed
deptype
2016-01-16 11:02:59
—
@gdritter
Brutal [Meta]Introduction to Dependent Types in Agda
http://oxij.org/note/BrutalDepTypes/
pl
deptype
2016-01-16 10:52:33
—
@gdritter
distributed
information
pl
programming
first
prev
next
last
