1. blooper
  2. join_to_monad

Commits

Author Commit Message Date Builds
blooper
enable highlighting
blooper
add language settings to conf.py
blooper
commutative diagrams are added
blooper
Correct the descriptions about (>=>)
blooper
correct the erroneous description about type class
blooper
change heads? hg said "abort: push creates new remote heads!"
blooper
add and change links
blooper
restore section about Cont
blooper
remove section about Cont and add some correction and one section
blooper
small corrections and so on.
blooper
my first Monad