Ignore:
Timestamp:
Jan 18, 2012, 11:01:14 AM (8 years ago)
Author:
mulligan
Message:

new version of utilities/monad.ma with typecheck command comented out

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/monad.ma

    r1647 r1648  
    126126interpretation "monad sigbind2" 'm_sigbind2 m f = (m_sigbind2 ????? m f).
    127127
     128(*
    128129check (λM : Monad.λA,B,C,P.λp.λf : ∀a,b.P 〈a,b〉 → monad M C.! «a,b,H» ← p; f a b H)
     130*)
    129131
    130132record MonadProps : Type[1] ≝
Note: See TracChangeset for help on using the changeset viewer.