Move everything to old
fix links to towards monads Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week6: tweaked hidden notes Signed-off-by: Jim Pryor <profjim@jimpryor.net>
reorg monad links Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week6 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net>
move Towards Monads to own page Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week6: expand Signed-off-by: Jim Pryor <profjim@jimpryor.net>
expand name 'towards monads' Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week6: formatting, add primes after monad ops Signed-off-by: Jim Pryor <profjim@jimpryor.net>
decap OCAML Signed-off-by: Jim Pryor <profjim@jimpryor.net>
added proto-monad
added proto-monad
added proto-monad
added proto-monad
added Curry-Howard
added Curry-Howard
added Curry-Howard
added Curry-Howard
edits
week 6 start