Directories
¶
| Path | Synopsis |
|---|---|
|
Package check implements bidirectional type checking for the HoTT kernel.
|
Package check implements bidirectional type checking for the HoTT kernel. |
|
Package ctx provides typing context management for the HoTT kernel.
|
Package ctx provides typing context management for the HoTT kernel. |
|
Package subst provides de Bruijn variable shifting and substitution.
|
Package subst provides de Bruijn variable shifting and substitution. |
Click to show internal directories.
Click to hide internal directories.