3 ms·
I'm also making a backend for Idris: https://github.com/jameshaydon/idris-elixir https://github.com/jameshaydon/idris-elixir
by jameshh 9y ago
I'm also making a backend for Idris:
https://github.com/jameshaydon/idris-elixir https://github.com/jameshaydon/idris-elixir