[Agda] Inspect.

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


I submitted a pull request. Hope all is ok.


More information about the Agda mailing list