[Agda] Standard library patch for newest darcs version of Agda

Andreas Abel andreas.abel at ifi.lmu.de
Tue Sep 18 15:02:18 CEST 2012

Hello Nisse & crowd,

here is a patch for the Agda std-lib to work with the newest development 
version of Agda.  The latest version recognizes constant functions as 
such, leading to unsolved metas sometimes.

In the patch I reconstructed some hidden args manually that where solved 
by unification before.


Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AdaptionToNonvariantPolarity.patch
Type: text/x-patch
Size: 7386 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120918/96d13e42/AdaptionToNonvariantPolarity.bin

More information about the Agda mailing list