Commits

Author Commit Message Labels Comments Date
Rob Simmons
Still fighting with Markdown, remarkably (hahah pun)
Rob Simmons
Fighting with Markdown
Rob Simmons
make filename not a link
Rob Simmons
Add quotes
Rob Simmons
Make everything fixed-width because that looks reasonably good.
Rob Simmons
Add README
Rob Simmons
modify intro for evaluation.sml
Rob Simmons
Some annotations and some spell checking
Rob Simmons
Minor clarification to susp/maybesusp demos
Rob Simmons
Add examples of composing Maybe and Susp in both directions
Rob Simmons
Idiom composition; for real this time
Rob Simmons
Idiom composition
Rob Simmons
Fixed broken commit; added suspensions demonstration
Rob Simmons
Broken commit to merge
Rob Simmons
Oops, forgot to add maybe.sml. Add maybe.sml
Rob Simmons
Get suspensions working
Rob Simmons
Merge from library and fix errors
Rob Simmons
Add Monad
Rob Simmons
Turn IdiomApp/IdiomPair into IdiomK/Idiom, and turn IDIOM into IDIOM_TOOLS
Rob Simmons
Add Anno structure
Rob Simmons
Update addition with changes to basis
Rob Simmons
Commit changes to merge heads
Rob Simmons
Fixup combinators in idiom.sml
Rob Simmons
Oops that broke everything. Fix code, fix more syntatic conventions
Rob Simmons
Update functor and idiom to the syntatic conventions
Rob Simmons
Arrgh don't push to the wrong library... readd files that were deleted
Rob Simmons
Oops, it was a mistake to push the library there
Rob Simmons
Merge to add library license
Rob Simmons
Add license for primedemo
Rob Simmons
Add license
  1. Prev
  2. Next