[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