Packages |
Name | PLaneT Version | External Version | Owner | Description |
---|---|---|---|---|
check-values.plt | (1 1) | 1.1 | cobbe | Macros for writing SchemeUnit tests for multi-value functions |
classic-java.plt | (1 1) | 1.1 | cobbe | An implementation of ClassicJava in PLT Redex. |
contract-utils.plt | (3 0) | 3.0 | cobbe | Various contract functions and utilities. |
environment.plt | (3 0) | 3.0 | cobbe | A rib-cage environment data structure. |
views.plt | (1 1) | 1.1 | cobbe | Macros for defining pattern-matching views on abstract data types |
Open tickets |