chrrasmussen Idris2-Erlang issues - Githubissues

chrrasmussen / Idris2-Erlang

Erlang code generator for Idris 2

Other

141 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Can't run sample

#9 fuelen closed 3 years ago
2
Run tests in Nix build

#8 yurrriq opened 4 years ago
0
Add BitsN casts primitives

#7 chrrasmussen closed 3 years ago
0
Add putChar and getChar primitives

#6 chrrasmussen opened 4 years ago
0
Improve the performance of the generated Erlang code

#5 chrrasmussen opened 4 years ago
0
Improve IORef/Buffer implementations

#4 chrrasmussen opened 4 years ago
10
Standalone code generator

#3 chrrasmussen opened 4 years ago
0
Configure Nix build/shell

#2 yurrriq closed 4 years ago
2
Thanks!

#1 yurrriq opened 4 years ago
13