Commit 611105b7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Output wibble

parent cb22ebdb
Unfolding: (Eta.bof
(Sym (Eta.NTCo:Foo[0]) -> Refl Eta.T)) -}
{- Arity: 1, HasNoCafRefs, Strictness: <S,U>m,
Unfolding: InlineRule (0, True, True)
Eta.bof `cast` (Sym (Eta.NTCo:Foo[0]) -> Refl Eta.T) -}
Supports Markdown
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