| Packages |
| Name | PLaneT Version | External Version | Owner | Description |
|---|---|---|---|---|
| pop-pl.plt | (1 1) | — | robby | [no description available] |
| redex.plt | (4 4) | — | robby | PLT Redex is a domain-specific language for expressing context-sensitive reduction semantics systems. It allows you to explore your reduction systems interactively using a GUI interface and write test cases using a scripting interface. |
| Open tickets |
![[logo]](/logo.png){kind=logo}