Chris
Chris
- [x] More consistent interface with `build` - [x] Don't rely on colour as much, since users may have their own term colour settings that won't match. - [x] Highlight...
Types
Two main things to decide on: the types available in our language and our type checking approach. For types, maybe: - `String` - `VecString` or just Vec if we do...
There are queries/programs one could construct that should work[^1], but would exceed some fixed maximum depth. [^1]: Of course, there are also programs which are fully recursive `foo :- foo.`...