Commit 95130c27 authored by Juan Pablo Garcia Garland's avatar Juan Pablo Garcia Garland
Browse files

add emptyCtx

parent b340ade5
......@@ -212,3 +212,6 @@ type family Equal (a :: k) (b :: k') :: Bool where
-- | overloaded type equality
type family Equ (a :: k) (b :: k) :: Bool
emptyCtx = Proxy :: Proxy '[ Text ""]
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