[Agda] Inspect.

flicky frans flickyfrans at gmail.com
Mon Dec 29 18:38:33 CET 2014

Previous message: [Agda] Inspect.
Next message: [Agda] `postulate' under `with'
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I submitted a pull request. Hope all is ok.

Previous message: [Agda] Inspect.
Next message: [Agda] `postulate' under `with'
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list