incorrect type signature

This commit is contained in:
Matthew Griffith 2024-05-04 08:35:12 -04:00
parent 07a390de66
commit caa5520580

View File

@ -118,7 +118,7 @@ toWith t v =
Pos t v []
move : value -> Move value
move : Transition.Transition -> value -> List (Sequence value) -> Move value
move =
Pos