Search Package Index

contract-repl

• asumu@ccs.neu.edu

A REPL that prints contracts on values

This package needs documentation

require-typed-check

• types@ccs.neu.edu

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

signature

• scott@thinkmoore.net

Syntax and utilities for writing function contracts as signatures

temp-c

• jay.mccarthy@gmail.com

temporal contracts

This package needs documentation