Changeset 2179 for src/utilities/monad.ma
 Timestamp:
 Jul 12, 2012, 2:56:51 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/utilities/monad.ma
r1976 r2179 115 115 @{'m_sigbind2 ${e} (λ${ident v1},${ident v2},${ident H}. ${e'})}. 116 116 117 notation > "'do' ❬ident v1, ident v2❭ ← e ; e'" 118 with precedence 48 for 119 @{'m_bind ${e} (λ${fresh p_sig}. 120 match ${fresh p_sig} with [mk_DPair ${ident v1} ${ident v2} ⇒ ${e'}])}. 121 117 122 notation > "'return' t" with precedence 49 for @{'m_return $t}. 118 123 notation < "'return' \nbsp t" with precedence 49 for @{'m_return $t}.
Note: See TracChangeset
for help on using the changeset viewer.