Search results

Run tests in Nix build

Status: Open.

#8 In christian-public/Idris2-Erlang;

· yurrriq opened on Aug 31, 2020

Add putChar and getChar primitives

good first issueGood for newcomersGood for newcomers

Status: Open.

#6 In christian-public/Idris2-Erlang;

· christian-public opened on Aug 30, 2020

Improve the performance of the generated Erlang code

Status: Open.

#5 In christian-public/Idris2-Erlang;

· christian-public opened on Aug 30, 2020

Improve IORef/Buffer implementations

Status: Open.

#4 In christian-public/Idris2-Erlang;

· christian-public opened on Aug 30, 2020

Standalone code generator

Status: Open.

#3 In christian-public/Idris2-Erlang;

· christian-public opened on Aug 30, 2020

Thanks!

Status: Open.

#1 In christian-public/Idris2-Erlang;

· yurrriq opened on Aug 26, 2020