<<<<<<< HEAD
TreatJS: Higher-Order Contracts for JavaScript
=======

TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time
monitoring. 


* [TreatJS Home](https://proglang.informatik.uni-freiburg.de/treatjs/)
* [TreatJS Core API Documentation](http://proglang.informatik.uni-freiburg.de/treatjs/api.html)
* [TreatJS Sample Applications](http://proglang.informatik.uni-freiburg.de/treatjs/example.html)
* [TreatJS Online Version](http://www2.informatik.uni-freiburg.de/~keilr/treatjs/)

Requirements:
=============

* [JavaScript ECMAScript 6](http://people.mozilla.org/~jorendorff/es6-draft.html)
* [SpiderMonkey JavaScript Engine](https://developer.mozilla.org/de/docs/SpiderMonkey)
=======
TreatJS
=======

Higher-Order Contracts for JavaScript
>>>>>>> Initial commit