Skip to content

Instantly share code, notes, and snippets.

@ggVGc

ggVGc/gist:77f1468484702783b1ea0176d1980304 Secret

Created July 31, 2022 13:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ggVGc/77f1468484702783b1ea0176d1980304 to your computer and use it in GitHub Desktop.
Save ggVGc/77f1468484702783b1ea0176d1980304 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.hs
type family And a b where
And 'True 'True = 'True
And _ _ = 'False
type family RangeSubset a b where
RangeSubset ('Tuple a1 b1) ('Tuple a2 b2) = And (RangeSubset a1 a2) (RangeSubset b1 b2)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment