-1502812301 | | Function type annotation syntax for Typed Racket similar to Haskell This package needs license metadata | succeeds | 2 |
-1734490278 | | Dependent types and meta-programming This package needs license metadata | succeeds | 2 |
-1730231292 | | The Pie language, used in The Little Typer This package needs license metadata | succeeds; has dependency problems | 2 |
-1586275851 | | A little fork of the Pie language (adds `let` and `equal`). This package needs license metadata | succeeds; has dependency problems; has failing tests | 5 |
-1704806582 | | High-level, composable syntax for describing contracts. This package needs license metadata | succeeds | 2 |
-1628016494 | | A tiny concatenative language with polymorphic type inference This package needs license metadata | succeeds | 2 |