Idris2-Lua

Idris2-Lua copied to clipboard

Russoul

Readme instructions for installing `bigint`

1

This is more of a note than an "issue" as such. I needed to specify `CFLAGS='--stdlib=libc++'` when installing `bigint` to silence a warning: ``` clang: warning: include path for libstdc++...

gwerbin

I did the bare minimum to get it working on 0.7.0. Also now there's a flake.

sjeulu