Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_'8869'_6 ∷ () Source #
d_'8869''45'elim_14 ∷ T_Level_18 → () → T_Irrelevant_20 → AgdaAny Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
d_'8869'_6 ∷ () Source #
d_'8869''45'elim_14 ∷ T_Level_18 → () → T_Irrelevant_20 → AgdaAny Source #