[Agda] New release soon

Anthony de Almeida Lopes anthony.de.almeida.lopes at falsifiable.net
Tue Oct 4 19:20:26 CEST 2011


Will instance arguments [1] be in this upcoming release? I found test
cases [2] and people (IRC) tell me that it's in darcs (which I don't
dare touch.)

- Anthony

1. http://people.cs.kuleuven.be/~dominique.devriese/agda-non-canonical-implicits/
2. http://code.haskell.org/Agda/examples/instance-arguments/


More information about the Agda mailing list