[−][src]Module kontroli::arc
Multi-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 |