- document empty diagram?
- (co)domain instead of inputType/outputType
- update example using newer version of editor
- make clear that
number[]in permutation should be "dense" (actually a permutation) (starting from 1) - allow "red" | "green" for spiders?
- multiple bases?
- explain that "typeParam" is
- explain what a box is ("term") v.s. a combinator
- tool specific meta data
- support for logical regions
- screen coordinates
- basic rewrites