Geeks
chrrasmussen
/
Idris2-Erlang
Erlang code generator for Idris 2
Primary Language
Idris
Other
NOASSERTION
Idris2-Erlang GitHub
Markdown
Readme
8
Issues
140
Stargazers
12
Watchers
Watchers
alanz
UK
bryanhunter
LeanFP
chrrasmussen
Norway
eemailme
jhcloos
lafirest
MarcelineVQ
mattpolzin
@opallabs
sebeaumont
Island Instruments
ska80
Bishkek, Kyrgyzstan
timsueberkrueb
@aleph-alpha
zeeshanlakhani
Papers We Love | Oxide Computer Company | CMU