creusot
creusot copied to clipboard
Pearlite support for `Range`
Adds parser support for ranges like 0..10
and also adds an instance of IndexLogic
for Seq
that uses that to call subsequence
. This should make sequence heavy specifications much nicer to read.
TODO:
- [ ] Add other instances for other forms of range
- [ ] Update tests to use new syntax