Merge branch feature-omit-sequence into master
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 5 Mar 2014 07:46:28 +0000 (08:46 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 5 Mar 2014 07:46:28 +0000 (08:46 +0100)
Beyond allowing default values during shape updates, this branch simplifies
working with shapes other than Vec.

1  2 
Bidir.agda

diff --cc Bidir.agda
Simple merge