diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-03-05 08:46:28 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-03-05 08:46:28 +0100 |
| commit | d1d4cf511883e1795ee1922a511cc4b0121c5bfa (patch) | |
| tree | a329b1bb28022e23ee772550b6576a4f9048429a /GetTypes.agda | |
| parent | e08856e01eecdd1c06fe9607eb91b5ed5baaed02 (diff) | |
| parent | cdaf8389007f1272f05089b75abecf8d6aefb49e (diff) | |
| download | bidiragda-d1d4cf511883e1795ee1922a511cc4b0121c5bfa.tar.gz | |
Merge branch feature-omit-sequence into master
Beyond allowing default values during shape updates, this branch simplifies
working with shapes other than Vec.
Diffstat (limited to 'GetTypes.agda')
0 files changed, 0 insertions, 0 deletions