Commit [0896e6] default Maximize Restore History

Started writing about monadic coercions.

smimram@aec24677-d710-0410-a355-ac75e2bdf181 smimram@aec24677-d710-0410-a355-ac75e2bdf181 2011-01-27

added sound_compiler/monadic_coercions/monadic.bib
added sound_compiler/monadic_coercions/Makefile
added sound_compiler/monadic_coercions/monadic_coercions.tex
copied sound_compiler/calculus/monad.ml -> sound_compiler/monadic_coercions/monad.ml
sound_compiler/monadic_coercions/monadic.bib Diff Switch to side-by-side view
Loading...
sound_compiler/monadic_coercions/Makefile Diff Switch to side-by-side view
Loading...
sound_compiler/monadic_coercions/monadic_coercions.tex Diff Switch to side-by-side view
Loading...