Directories
¶
| Path | Synopsis |
|---|---|
|
Package ast provides the abstract syntax tree for the HoTT kernel.
|
Package ast provides the abstract syntax tree for the HoTT kernel. |
|
Package eval implements Normalization by Evaluation (NbE) for the HoTT kernel.
|
Package eval implements Normalization by Evaluation (NbE) for the HoTT kernel. |
|
Package parser provides parsing utilities for the HoTT kernel.
|
Package parser provides parsing utilities for the HoTT kernel. |
Click to show internal directories.
Click to hide internal directories.