| Packages |
| Name | PLaneT Version | External Version | Owner | Description |
|---|---|---|---|---|
| bug.plt | (1 0) | — | robby | A buggy package. Invoke the bug thunk to get a contract violation blaming this package |
| 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. |
| ryr-talk.plt | (1 2) | — | robby | The talk for Run Your Research, given at POPL 2012. |
| Open tickets |
![[logo]](/logo.png){kind=logo}