Giters
stefan-hoeck
/
idris2-tutorial
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
183
Watchers:
8
Issues:
13
Forks:
25
stefan-hoeck/idris2-tutorial Watchers
Alexander Carter
alrunner4
Andor Penzes
andorp
eemailme
Erlend Hamberg
ehamberg
James Cloos
jhcloos
Kamil Shakirov
ska80
Stefan Höck
stefan-hoeck
Victor-Nicolae Savu
Victor-Savu