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 /Everything.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 'Everything.agda')
| -rw-r--r-- | Everything.agda | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Everything.agda b/Everything.agda index e37c76e..5ca5550 100644 --- a/Everything.agda +++ b/Everything.agda @@ -2,6 +2,8 @@ module Everything where import Generic +import Structures +import Instances import FinMap import CheckInsert import GetTypes |