Geeks
sconybeare
/
mltt
Implementation of Martin-Löf Type Theory in Haskell
Primary Language
Haskell
mltt GitHub
Markdown
Readme
0
Issues
16
Stargazers
3
Watchers
Stargazers
cantora
cpressey
Office... submarine!
dannypsnl
@second-state
egisatoshi
Rakuten and UTokyo
elegaanz
Berlin, Germany
emeinhardt
felko
gabrielrodriguesrocha
Brazil
IFEIFEI
lemastero
Lublin
Mesabloo
France
shika-blyat
France
taktoa
@MatX-inc
themattchan
@awakesecurity
XCaminhante
Deep Web
zelinskiy
Ordo Praedicatorum