Author Commit Message Labels Comments Date
Rob Simmons avatarRob Simmons
Branch merge from datatype
Branches
paper
Rob Simmons avatarRob Simmons
Format elisp correctly
Rob Simmons avatarRob Simmons
Merge from modprec
Branches
matching
Rob Simmons avatarRob Simmons
Merge from master
Branches
default_modprec
Rob Simmons avatarRob Simmons
Update Readme to refer to emacs mode.
Rob Simmons avatarRob Simmons
Add emacs mode from Ben Moseley
Rob Simmons avatarRob Simmons
Proposal for bidirectional typechecking system seems sensible at this point.
Branches
paper
Rob Simmons avatarRob Simmons
Add binding.tex - paper - to the repository, I'll work on this here for now
Branches
paper
Rob Simmons avatarRob Simmons
Add a clown/joker example, not beautifully motivated by functors or deriviatives or logic or anything, just code.
Branches
fast_linear
Rob Simmons avatarRob Simmons
Add Aaron's example
Branches
fast_linear
Rob Simmons avatarRob Simmons
Turn off goal printing
Branches
fast_linear
Rob Simmons avatarRob Simmons
Add figure 3 to Minamide's example
Branches
fast_linear
Rob Simmons avatarRob Simmons
Binary insertion
Branches
fast_linear
Rob Simmons avatarRob Simmons
Figure 2
Branches
fast_linear
Rob Simmons avatarRob Simmons
Added tag holey-blog-3 for changeset 3e4e86d071a0
Branches
fast_linear
Rob Simmons avatarRob Simmons
Error in linzipper: probably shoulda tested that
Tags
holey-blog-3
Branches
fast_linear
Rob Simmons avatarRob Simmons
Added tag holey-blog-3 for changeset 24e3cede8b89
Branches
fast_linear
Rob Simmons avatarRob Simmons
Bug fix noticed while preparing blog post, could have caused Not_found to be raised in the coverage checker when a type-correct pattern matching on the inside of a linear function is written if that pattern is known to be vacuous by subordination.
Branches
fast_linear
Rob Simmons avatarRob Simmons
Added tag holey-blog-3 for changeset a933a8fa55a9
Branches
fast_linear
Rob Simmons avatarRob Simmons
Fix a bug that occured when the immedate successor of the hole's type along the subordination relation was the outside type, but the outside type was not actually subordinate to itself. Also introduce an optimize syntax for the same situation.
Branches
fast_linear
Rob Simmons avatarRob Simmons
Messing around with the scrap your zipper example
Branches
fast_linear
Rob Simmons avatarRob Simmons
Added example insipred by Michael Adams' 'Scrap Your Zippers'
Branches
fast_linear
Rob Simmons avatarRob Simmons
Add safe versions to both the zipper examples
Branches
fast_linear
Rob Simmons avatarRob Simmons
Adapt Huet's original zipper example to linear functions
Branches
fast_linear
Rob Simmons avatarRob Simmons
And now inside linear coverage checking works!
Branches
fast_linear
Rob Simmons avatarRob Simmons
Add extra argument to case that tracks typing information
Branches
fast_linear
Rob Simmons avatarRob Simmons
I can compute the necessary patterns for an inside-matching linear type, but I'm foiled. Given the pattern '[hole] f (Cons i hole)', I absolutely must have the contextual information about what type I'm pattern matching against or I don't know what the codomain of f is (and therefore I can't work out what type I'm pattern matching against). So I'm going to have to record the types of case analyses in typechecking in order to avoid doing type checking entirely inside of coverage.ml
Branches
fast_linear
Rob Simmons avatarRob Simmons
Add (immediate) annotations to immediate dependencies
Branches
fast_linear
Rob Simmons avatarRob Simmons
(Unchecked) inside pattern matching is now functional!
Branches
fast_linear
Rob Simmons avatarRob Simmons
Modify interpreter with backpointers to make pattern matching at the end work
Branches
fast_linear
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.