Idris2-Erlang
Sep 28, 2020
Erlang code generator for Idris 2.
Started working on it in January 2019. Still work in progress (as of December 2021).
Technologies
- idris
- erlang
We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
| Date of Birth: | May 30, 1987 — 37 years old |
|---|---|
| Email: | christian@christian.pub |
| GitHub: | christian-public |
Erlang code generator for Idris 2.
Started working on it in January 2019. Still work in progress (as of December 2021).