Define conflicting type / function:
type Foo = Foo Nat
Foo.Foo x = x
Trigger crash!
.> add
Created
December 11, 2019 00:41
-
-
Save anovstrup/1123c4fa24d0ca9c85ec73ee0fc8e09b to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment