Search Package Index

7 packages found

 PackageDescriptionBuild 

contract-repl

A REPL that prints contracts on values

This package needs documentation

succeeds3

require-typed-check

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

succeeds0

signature

Syntax and utilities for writing function contracts as signatures

Docs:
Tags:
succeeds0

temp-c

temporal contracts

Docs:
Tags:
succeeds0

temp-c-doc

temporal contracts

Docs:
Tags:
succeeds0

temp-c-lib

temporal contracts

This package needs documentation

Tags:
succeeds3

temp-c-test

temporal contracts

This package needs documentation

Tags:
succeeds; has failing tests4