This sounds like view patterns in Haskell / active patterns in F#
Something like https://www.pyret.org/index.html with https://dcic-world.org/ maybe
This sounds like view patterns in Haskell / active patterns in F#
Something like https://www.pyret.org/index.html with https://dcic-world.org/ maybe