[HN Gopher] Idris 2 version 0.6.0 Released
       ___________________________________________________________________
        
       Idris 2 version 0.6.0 Released
        
       Author : todsacerdoti
       Score  : 31 points
       Date   : 2022-10-30 16:42 UTC (6 hours ago)
        
 (HTM) web link (www.idris-lang.org)
 (TXT) w3m dump (www.idris-lang.org)
        
       | StefanKarpinski wrote:
       | I'm curious about the choice to call this Idris 2 v0.6.0 rather
       | than the more obvious and semver-compatible Idris 2.6.0. Anyone
       | know if Edwin had written about this anywhere?
        
       | pjmlp wrote:
       | Nice to see research in Idris is still going on.
        
       | mbrodersen wrote:
       | I highly recommend learning Idris if you want to understand the
       | power of Dependent Types. The book "Type Driven Development" is
       | an excellent guide.
        
       ___________________________________________________________________
       (page generated 2022-10-30 23:02 UTC)