-1751768361 | | Ambiguous Operator | fails | 6 |
-1749095544 | | A category theory toolkit for Racket. This package needs documentation | succeeds | 4 |
-1739762118 | | Category Theory in Programming | fails | 6 |
-1744969954 | | Dynamic Case | succeeds | 0 |
-1752222073 New | | Goto based on call/cc | succeeds | 0 |
-1672809260 | | Packages for studying the connections between Qi and Category Theory. This package needs documentation | fails | 6 |
-1751768708 | | Typed Ambiguous Operator | fails | 6 |
-1748157685 | | Queues for typed racket This package needs documentation | succeeds | 4 |
-1752222309 New | | Typed goto based on call/cc | succeeds | 0 |
-1748157689 | | Mutable tresslists for typed racket This package needs documentation | succeeds | 4 |
-1751905532 | | Tagged Values | succeeds | 0 |