hdiff
packages
feed
disco
-0.1.0.0: test/syntax-chain/inRange.disco
inRange : N -> N -> (N -> Bool) inRange a b = λn. a <= n <= b