search

bennn / require-typed-scv

Typed Racket's `require/typed`, with soft contract verification
Other
1 stars 0 forks source link

readme

require-typed-scv

Typed Racket's require/typed, powered by Soft Contract Verification.

To Install:

$ git clone https://github.com/bennn/require-typed-scv
$ raco pkg install ./require-typed-scv

Documentation is in the docs/ folder, or run:

$ raco docs require-typed-scv

to open the rendered documentation in your web browser.