yfyf/idris-emptycg
An empty code generator, to be used as a starting point for any new back ends.
Easy building and installing of Erlang/OTP instances
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An empty code generator, to be used as a starting point for any new back ends.
Papers from the computer science community to read and discuss.
Website for Functional Vilnius
Asynchronous pi-calculus in Erlang