[Agda] Type-checker evaluator performance

effectfully effectfully at gmail.com
Mon Feb 1 16:52:40 CET 2016

Previous message: [Agda] Type-checker evaluator performance
Next message: [Agda] Type-checker evaluator performance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Then what about (is-just petersons-search)?

Previous message: [Agda] Type-checker evaluator performance
Next message: [Agda] Type-checker evaluator performance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list