use the indexed version of the Vec Setoid
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 28 Jan 2014 08:30:45 +0000 (09:30 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 28 Jan 2014 08:30:45 +0000 (09:30 +0100)
commitf767ec96fec169907da5cb5029852732cf333e7b
tree4844591ccb644defdf054949de5e87078fd0c3a6
parent8cc43c2c7e5ab40394a1e6a23470edb3d2d6b909
use the indexed version of the Vec Setoid
Bidir.agda
CheckInsert.agda
FinMap.agda
Generic.agda