Giters
andorp
/
TaPL
TaPL implementation bits in Idris2
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
15
Watchers:
2
Issues:
1
Forks:
2
andorp/TaPL Stargazers
George Takumi Crary
adpextwindong
Alex1005a
Alexander Carter
alrunner4
Amir M. Saeid
amir
beike-zh
Boscop
Brendan Zabarauskas
brendanzab
Jonathan Strickland
djanatyn
Luc Tielen
luc-tielen
Nikita
nikitavoloboev
Paul Cadman
paulcadman
Sergio Bonatto
SergioBonatto
Kamil Shakirov
ska80
Tao Wei
Tiiwoo
yt44kiry
yutomi7a