Sequent-recovery work
note on App in ILL
Fix a bug in type substitution
Tree rendering
Merge branch 'master' of github.com:jyp/LL
Added a case for meta variables for the copy'' function.
remove one usage of Lens
Merge branch 'master' of github.com:jyp/LL
Start working on the calculus with explicit memory.
Factor out the memory things in a separate module.
Also, add functions for translating sequents and derivations so that they use
explicit memory.
sync
Merge branch 'master' of github.com:jyp/LL
Fix the definition of copy'' for the sum case.
better paper compilation driver
explicit channels
Read and write bits: reduction rules
Some changes I've forgotten to push, relating to reifying memory
(git refuses to show me the diff for some reason)
par channel reductions
Blank page
outline