Search Package Index

1 packages found

 PackageDescriptionBuild 

word

Signed and Unsigned Word datatype for Racket using refinement types.

Docs:
succeeds0