[Agda] Record scoping issue

Roman effectfully at gmail.com
Wed Sep 7 11:40:27 CEST 2016

Previous message: [Agda] Record scoping issue
Next message: [Agda] strictness application not unifying in the typechecker
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Nils Anders Danielsson,
https://github.com/agda/agda/blob/6c6d8fb756ad7e434ce812c1073a39d8e024b87d/CHANGELOG#L994

Previous message: [Agda] Record scoping issue
Next message: [Agda] strictness application not unifying in the typechecker
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list