Open echatav opened 2 years ago
Also, is it worth adding
(>|)
,(|<)
, and(>|<)
from the gwils talk?
I think (>|<)
should be added in another PR since it's just a synonym for chosen
. I don't think the others exist.
Also, is it worth adding
(>|)
,(|<)
, and(>|<)
from the gwils talk?I think
(>|<)
should be added in another PR since it's just a synonym forchosen
. I don't think the others exist.
I also think that Tom Ellis's(><) = divide (\a -> (a, a))
should be added in another PR
Divisible
Combinators(>*)
(*<)
Decidable
CombinatorsoptionalD
manyD
many1D
sepByD
sepBy1D