Skip to content

Instantly share code, notes, and snippets.

@fatho

fatho/Maze.hs

Created November 1, 2014 23:20
Show Gist options
  • Save fatho/51a5ae5ed84232af82c4 to your computer and use it in GitHub Desktop.
Save fatho/51a5ae5ed84232af82c4 to your computer and use it in GitHub Desktop.
Download ZIP
Lets play a game...
Raw
Maze.hs
data Path e (i :: Nat) (j :: Nat) where
PNil :: Path e i i
PNext :: e i j -> Path e j k -> Path e i k
infixr 9 ~:
(~:) :: e i j -> Path e j k -> Path e i k
(~:) = PNext
data E (i :: Nat) (j :: Nat) where
EUp :: E i (3 * i + 1)
EDown :: (i ~ (2 * j)) => E i j
maze :: Path E 871 1
maze = _
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment