Commits

Author Commit Message Labels Comments Date
Darin Morrison
clean up and rewrite parts of README.md
Darin Morrison
Add README.md
Darin Morrison
Add LICENSE.md
Darin Morrison
removed unnecessary parameter
Branches
PTS
Darin Morrison
added README
Branches
PTS
Darin Morrison
changed context ordering to more traditional style; cleanup; simplification
Branches
PTS
Darin Morrison
use more restrictive imports
Branches
PTS
Darin Morrison
simplified example
Darin Morrison
added let (called def) and changed semantics to call-by-name
Darin Morrison
add an example
Darin Morrison
added some fixity declarations
Darin Morrison
added annotations (in anticipation of let); cleanup
Darin Morrison
made eval monadic
Darin Morrison
removed a stale comment; moved Ctx definition
Darin Morrison
initial commit