Search Package Index

4 packages found

 PackageDescriptionBuild 

list-util

Additional List utilities in Typed Racket.

Docs:
Tags:
succeeds0

string-util

Additional string utilities in Typed Racket.

succeeds0

tjson

Basic Typed Racket Json Parser and Emitter

Docs:
succeeds; has failing tests4

typed-rosette

A typed variant of the Rosette language.

This package needs documentation

fails5