mankyKitty/idris-erlang
Erlang Backend for Idris Compiler
Type System Experiments for Lisp Flavoured Erlang
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Erlang Backend for Idris Compiler
Sources for the http://ivorylang.org website.
Presentation for an Introduction to UrWeb
Chat server / client written in UrWeb from POPL 2015 Proposal