[HN Gopher] Idris 2 version 0.3.0
       ___________________________________________________________________
        
       Idris 2 version 0.3.0
        
       Author : insulanian
       Score  : 232 points
       Date   : 2021-01-14 10:11 UTC (12 hours ago)
        
 (HTM) web link (www.idris-lang.org)
 (TXT) w3m dump (www.idris-lang.org)
        
       | bjoli wrote:
       | Wow, 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.
        
       | agbell wrote:
       | For 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...
        
       | hbiden2020 wrote:
       | FUCK HUNTER BIDEN!
       | 
       | Hunter Biden is a FUCKING PEDOPHILE!
        
       ___________________________________________________________________
       (page generated 2021-01-14 23:02 UTC)