Browse files

Updating README with type/rec descrips

  • Loading branch information...
1 parent 85583b5 commit 351be858542654e285e824ab8d4bf35676b6cc17 @fogus committed Mar 30, 2012
Showing with 6 additions and 3 deletions.
  1. +6 −3
@@ -3,7 +3,7 @@ Trammel
[Contracts programming]( for Clojure.
-- [Official documentation and usage scenarios](
+- [Official documentation and usage scenarios](
- [Original announcement]( (*syntax has evolved since then*)
@@ -107,6 +107,7 @@ Notes
Trammel is in its infancy but I think that I have a nice springboard for experimentation and expansion, including:
+ - Contracts for higher-order functions
- Better error messages
- Distinct pre and post exceptions
- Study the heck out of everything Bertrand Meyer and Walter Bright ever wrote (in progress)
@@ -125,18 +126,20 @@ If you have any ideas or interesting references then I would be happy to discuss
+- [An Axiomatic Basis for Computer Programming]( by C.A.R Hoare -- essential reading
- *Object-oriented Software Construction* by Bertrand Meyer
- *Eiffel: The Language* by Bertrand Meyer
- [D](
- *The Fortress Language Specification* by Guy L. Steele Jr., et al.
+- [Contracts for Higher-order functions]( by Robert Bruce Findler and Matthias Felleisen
- [System.Diagnostics.Contracts](
-- *Contracts for Higher-order Functions* by Robert Bruce Findler and Matthias Felleisen
- [Design by Contract and Unit Testing](
- [Design by contract for Ruby](
- [Contracts in Racket (A Scheme Descendent)](
+- [Contract Soundness for Object-Oriented Languages]( by Robert Bruce Findler and Matthias Felleisen
- [A Proof Engine for Eiffel](
- *How to Deign Programs* by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi [here](
-- *An Axiomatic Basis for Computer Programming* by C.A.R Hoare

0 comments on commit 351be85

Please sign in to comment.