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)
commitd1d4cf511883e1795ee1922a511cc4b0121c5bfa
treea329b1bb28022e23ee772550b6576a4f9048429a
parente08856e01eecdd1c06fe9607eb91b5ed5baaed02
parentcdaf8389007f1272f05089b75abecf8d6aefb49e
Merge branch feature-omit-sequence into master

Beyond allowing default values during shape updates, this branch simplifies
working with shapes other than Vec.
Bidir.agda