[Agda] --rewriting and the Agda standard library
Siek, Jeremy
jsiek at indiana.edu
Thu Apr 23 22:10:22 CEST 2020
>From a quick test run, it seems that --rewriting is incompatible with most if not
all of the standard library. Is that correct? I was hoping to use --rewriting,
but using the standard library is rather more important.
Cheers,
Jeremy
__________________________________________
Jeremy G. Siek <jsiek at indiana.edu<mailto:jsiek at indiana.edu>>
Professor
Luddy School of Informatics, Computing, and Engineering
Indiana University Bloomington
http://homes.soic.indiana.edu/jsiek/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200423/fdcebd5e/attachment.html>
More information about the Agda
mailing list