r/dependent_types•12 yr. ago

Agda 2.4.0 is released

wiki.portal.chalmers.se/agda/pmwiki.php?n=Mai...

wiki.portal.chalmers.se

Posted Jun 5, 2014, 1:28 PM UTC

152

Sort by:

gelisam•12 yr. ago

Yay copatterns!

2

ISupportTheRegime•12 yr. ago

So does it have tail-call optimizations?

1