Commit 485b4a09 authored by Jente Hidskes's avatar Jente Hidskes

WildcardSemantics: add required instances

parent 8114d1e7
......@@ -252,6 +252,12 @@ instance Complete Term where
(_, Wildcard) -> Wildcard
(_, _) -> Wildcard
instance LowerBounded Term where
bottom = undefined
instance LowerBounded TermEnv where
bottom = emptyEnv
instance Galois (P.Pow C.Term) Term where
alpha = lub . fmap go
where
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment