| 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 | Redex is now part of the main Racket distribution. This is an old version, left here for backwards compatibility. |
| ryr-talk.plt | (1 2) | — | robby | The talk for Run Your Research, given at POPL 2012. |
| Open tickets |
![[logo]](/logo.png){kind=logo}