sconybeare / mltt

Implementation of Martin-Löf Type Theory in Haskell

sconybeare/mltt Stargazers

Remy Goldschmidt
taktoa
cantora
themattchan
Nikita M. Yurchenko
zelinskiy
Piotr Paradziński
lemastero
Satoshi Egi
egisatoshi
felko
Gabriel Rodrigues Rocha
gabrielrodriguesrocha
shika-blyat
Chris Pressey
cpressey
Ana Gelez
elegaanz
X Caminhante
XCaminhante
Mesabloo
Mesabloo
Lîm Tsú-thuàn
dannypsnl
IFEIFEI
emeinhardt

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.