creusot icon indicating copy to clipboard operation
creusot copied to clipboard

Pearlite support for `Range`

Open xldenis opened this issue 1 year ago • 0 comments

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

xldenis avatar Sep 21 '23 14:09 xldenis