diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-04-03 08:57:34 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-04-03 08:57:34 +0200 |
| commit | 9d97d3c3cb339b3e78257d19e383df4d3f5bcc74 (patch) | |
| tree | 5ecf0303a025cc930292223779013d39cd4432af /FreeTheorems.agda | |
| parent | 0041fbe99eab12df177e877bd5fe8d2f6fce9b0d (diff) | |
| parent | 20ff2bd915d116223e1ea9eda60647c60de98725 (diff) | |
| download | bidiragda-9d97d3c3cb339b3e78257d19e383df4d3f5bcc74.tar.gz | |
Merge branch feature-shaped into master
Generalizing both Vecs in the type of get to instances of Shaped. Thus allowing
trees and other data structures to be used.
Diffstat (limited to 'FreeTheorems.agda')
0 files changed, 0 insertions, 0 deletions