Changes between Version 37 and Version 38 of Typeable/BenGamari


Ignore:
Timestamp:
May 26, 2017 12:11:14 PM (2 years ago)
Author:
heisenbug
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified
  • Typeable/BenGamari

    v37 v38  
    6565mkApp (SomeTypeRep f) (SomeTypeRep x) = do
    6666    FunTy a b <- pure f
    67     Refl <- a `eqTypeReq` typeRepKind x
     67    Refl <- a `eqTypeRep` typeRepKind x
    6868    return (App f x)
    6969}}}