define fromFunc more conveniently
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 13:52:33 +0000 (14:52 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 13:52:33 +0000 (14:52 +0100)
commit6958d1c19cda39564508e0638648eacf32c71509
tree1629c258cac9bd088434c86c7d3fa7dc85bbda56
parentfb860d5088732548eeaf914f9533763f8ec63db4
define fromFunc more conveniently
FinMap.agda
Precond.agda