projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b45125) | patch
reduce usage of sym
authorHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 14:22:09 +0000 (15:22 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 14:22:09 +0000 (15:22 +0100)
commit258c1c6a780fcffaf34cfe01ccb1175de1d5b341
tree5bc5e3e314cfb66670208aa9f8282d941d6f69a2tree | snapshot
parent8b45125422a2b737ff660c798e00de073983f2cccommit | diff
reduce usage of sym

Try to always construct statements of the form
  complex expression \== simple expression.
Bidir.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)