Search Package Index

5 packages found

 PackageDescriptionBuild 

bnf

Concise Typed Racket syntax for declaring recursive data in BNF

This package needs documentation

succeeds3

impl-excl

Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates

This package needs documentation

Tags:
succeeds3

intern

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

This package needs documentation

succeeds3

set-extras

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

This package needs documentation

succeeds3

z3

Z3 bindings for Racket

This package needs documentation

succeeds; has failing tests4