Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

lenary/idris-erlang

Erlang Backend for Idris Compiler

Archived: this repository is read-only

Owner
lenary (personal account)
Stars
Stars: 186
Forks
Forks: 15
Language
Haskell
License
BSD-3-Clause
Created
2014
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

Nearby in Haskell

All Haskell repos