[−][src]Module kontroli::rc
Single-threading kernel.
Modules
rterm | Pointers to shared terms. |
state | Abstract machines for the lazy evaluation of terms. |
Structs
RTerm | Pointer to a shared term. |
Type Definitions
Intro | The way we introduce a new name. |
Rule | Rewrite rules with strings as bound variable identifiers, a top pattern (symbol application) as left-hand side, and a shared term as right-hand side. |
Signature | |
Term | |
Typing |