Search Package Index

8 packages found

 PackageDescriptionBuild 

contract-repl

A REPL that prints contracts on values

This package needs documentation

3

require-typed-check

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

This package needs documentation

3

signature

Syntax and utilities for writing function contracts as signatures

This package needs documentation

Tags:
3

temp-c

temporal contracts

This package needs documentation

Tags:
3

temp-c-doc

temporal contracts

This package needs documentation

Tags:
3

temp-c-lib

temporal contracts

This package needs documentation

Tags:
3

temp-c-test

temporal contracts

This package needs documentation

Tags:
3

termination

Dynamic enforcement of size-change termination

This package needs documentation

3