use "module _" to simplify types involving Get records
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 10 Jun 2015 11:15:34 +0000 (13:15 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 10 Jun 2015 11:15:34 +0000 (13:15 +0200)
commitfed01a1e7869ee3f0dab9784fa2bcc8565b9e60d
tree398c1ac640a0d86acbaf6628c33497f53e6f89f9
parentd8ed3c5d8bb02c626b3d263ed9d6a4bcb5836ae0
use "module _" to simplify types involving Get records
Bidir.agda
Precond.agda