Skip to content

Commit

Permalink
First working version with "full" rewriting under binders.
Browse files Browse the repository at this point in the history 
This is not ideal yet, the strategy when going under binders
is pretty ad-hoc, forcing to rewrite x to x' after the current
strategy is done rewriting the body of a lambda.
  • Loading branch information
@mattam82
mattam82 committed Jun 18, 2016
1 parent 1ebff98 commit 17db613
Show file tree
Hide file tree
Showing 3 changed files with 601 additions and 378 deletions.

0 comments on commit 17db613

Please sign in to comment.