Giters
ayberkt
/
sml-system-t
SML implementation of System T from PFPL.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
6
Issues:
4
Forks:
1
ayberkt/sml-system-t Stargazers
Anton Trunov
anton-trunov
Xuan Bi
bixuanzju
april
cyberglot
Jon Sterling
jonsterling
Juan Bono
juanbono
Mario Rodas
marsam
Daniel Mendler
minad
Sandy Vanderbleek
svanderbleek
themattchan
vtheno
vtheno
Zeeshan Lakhani
zeeshanlakhani