Fatal error: exception Failure("lexing: empty token") #1
Description
hello, i get this error while trying to solve something like this:
|- ? : a -> b -> a
{{ message }}
hello, i get this error while trying to solve something like this:
|- ? : a -> b -> a