idris-erlang

Erlang Backend for Idris Compiler

Archived

GitHub
188 stars
25 watching
15 forks
Language: Haskell
last commit: over 7 years ago
Linked from 1 awesome list


Screenshot of lenary/idris-erlang website

lenary.co.uk/publications/bsc_dissertation/

Backlinks from these awesome lists: