Commits

Anonymous committed 6c64268 Draft

Rename Identity to IdentityMonad

  • Participants
  • Parent commits f777dea

Comments (0)

Files changed (1)

-Require Import Identity.
+Require Import IdentityMonad.
 (**
 State Monad is a monad encapsulating state between computations.