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
| Date of Birth: | May 30, 1987 — 38 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).
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect