Search Package Index

3 packages found

 PackageDescriptionBuild

contract-repl

A REPL that prints contracts on values

Docs: README
succeeds

require-typed-check

require/typed, but skips contracts on already-typed imports

succeeds

temp-c

temporal contracts

Docs: README
Tags:
succeeds