Search Package Index

4 packages found

 PackageDescriptionBuild

bnf

Concise Typed Racket syntax for declaring recursive data in BNF

Docs: README
succeeds

intern

Type-safe interning of datatype in Typed Racket as a new sub-type of Index

Docs: README
succeeds

set-extras

Some conveniences for set, including fancy unicode aliases and more comprehension forms

Docs: README
succeeds

z3

Z3 bindings for Racket

Docs: README
succeeds; has failing tests