Giters
madman-bob
/
idris2-python
A Python backed for Idris 2
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
19
Watchers:
1
Issues:
1
Forks:
4
madman-bob/idris2-python Watchers
madman-bob