Commit f8d0b067 authored by simonpj's avatar simonpj

Comments only

parent db8f08c0
......@@ -30,3 +30,7 @@ data BAR
instance Prop BAR where
type Def BAR = EX () () FOO
-- Needs Base (Def BAR)
-- And (Def Bar = Ex () () FOO)
-- so we need Base (Def (Foo ANY))
\ No newline at end of file
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