Idris 2 version 0.3.0
idris-lang.org
Idris 2 version 0.3.0
1–4 of 4 posts
Re: Idris 2 version 0.3.0
#2Wow, I didnnt know they switched to chez scheme as the default backend for Idris 2. I know Edwin was impressed with the speed of Chez and the overall quality of the implementation, but I never heard about the switch to it as default.
Re: Idris 2 version 0.3.0
#3For anyone wondering if the Idris book works with v2, I found this [0]. Some code examples in the book need adjustment to work in Idris 2. The Book is great fun.
https://idris2.readthedocs.io/en/latest/typedd/typedd.html#t...
Re: Idris 2 version 0.3.0
#4FUCK HUNTER BIDEN!
Hunter Biden is a FUCKING PEDOPHILE!