Ari
I've read that public domain/"free for any use" licenses make people jumpy because they're concerned about it being a legal gray area. It might be that the license alone has...
In lieu of more extensive documentation, one thing we could do is work on Rosetta Code tasks. These give short, focused examples of how to do different things in the...
### General summary/comments The finkel-lang package is failing to build. Output: ``` finkel-kernel > Finished in 674.3796 seconds finkel-kernel > 378 examples, 0 failures, 3 pending finkel-kernel > Test suite...
Opening a new issue as directed to here: https://github.com/edwinb/Idris2/issues/78#issuecomment-609474846 My attempts to build Idris 2 in the MSYS2 MinGW64 terminal are failing when linking `libidris_rts`. I've tried both the 0.1.0...