GitHub - brownplt/javascript-contracts: design-by-contract library for JavaScript

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 87 Commits
data		data
scripts		scripts
src		src
tests		tests
.gitignore		.gitignore
JsContracts.cabal		JsContracts.cabal
LICENSE		LICENSE
README		README
Setup.lhs		Setup.lhs

Repository files navigation

JavaScript Contracts
====================

This software succeeds the implementation described in the following paper:

Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi.
Relationally-Parametric Polymorphic Contracts. DLS 2007.