TXT

RELEASE NOTES FOR AGDA 2 VERSION 2.3.0 ...

By Aaron Rivera,2014-11-06 22:15
9 views 0
------------------------------------------------------------------------ -- Release notes for Agda 2 version 2.3.0 ------------------------------------------------------------------------ Important changes since 2.2.10: Language ======== * New more liberal syntax for mutually recursive definitions. It is no longer necessary to use the 'mutual' keyword to define ..
null
null
null
null
null
null
null
null
null
null

Report this document

For any questions or suggestions please email
cust-service@docsford.com