Geeks
zenntenn
/
Idris2-FSharp
An F# backend for Idris
Primary Language
Scheme
Other
NOASSERTION
Idris2-FSharp GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Watchers
jhcloos
zenntenn
Ottawa, ON, Canada