]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 396a578) | patch
tests for coercions under lambdas
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:39:33 +0000 (13:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:39:33 +0000 (13:39 +0000)
commitfd1c3482c988c431105b94553689f9a5ac15387e
tree48f4517dced7daba7ee3976a744b462cdf379fd0tree | snapshot
parent396a578b680e7fdb9d262822184e52f0d4d5086bcommit | diff
tests for coercions under lambdas
matita/tests/coercions_contravariant.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.