mirror of
https://github.com/nick8325/quickspec.git
synced 2024-09-11 08:35:32 +03:00
581 B
581 B
Future Work
-
Type class constraints in functions
-
Polymorphic application of functions (i.e. find natural transformations)
-
Relations
-
Imperative programs
Small TODOs
-
Hide output of background theories
- Can we safely disable (or limit) completion with background theories?
- Explore background theories up to a smaller size
- Remember the set of terms and add to it
-
Add QS1 feature of organising laws by defining function (i.e., "this is a law about BLAH")
-
Improve handling of partial functions (see Heaps.hs)
-
Make Type into an abstract type