JavaScript is disabled on your browser.
Skip navigation links
Module
Package
Class
Tree
Index
Help
Package:
Description
Related Packages
Classes and Interfaces
Package:
Description |
Related Packages
|
Classes and Interfaces
SEARCH
Module
aya.base
Package org.aya.tyck.ctx
package
org.aya.tyck.ctx
Related Packages
Package
Description
org.aya.tyck
org.aya.tyck.error
org.aya.tyck.order
org.aya.tyck.pat
org.aya.tyck.tycker
Record Classes
Class
Description
LocalLet
A locally, lazy substitution
Every substitution should be well-scoped, i.e.,
Jdg
can only refer to some free variable or elder lazy substitution.