-*- mode: org -*-
- low-level debugger with graph step-through
- dagc source maps
- interface files
- real parser for URIs instead of hacky shit
- make sure that pattern blocks match all patterns
- values are in the PAP value on the executor
- delete the list module
- more tests for rational functions
- matches against nonatomic expressions (? f x { . A => …)
- runtime applyable types
- support equality testing for pattern blocks as well (to match numbers/bools)
- types should be declarable out-of-order (right now you can only use them after you define them)