Sam Tobin-Hochstadt
|
7f3c8510de
|
Handle Integer in contract generation.
Fix provide checking.
svn: r8980
|
2008-03-15 19:01:39 +00:00 |
|
Sam Tobin-Hochstadt
|
621cff1d9a
|
Move typed-scheme/lang/main.ss to typed-scheme/main.ss.
Fix documentation to match.
svn: r8886
|
2008-03-04 23:18:16 +00:00 |
|
Sam Tobin-Hochstadt
|
f7d6b01d26
|
Remove tool.
Improve error message source.
Add `build-list'
Don't give internal error when inference returns a bad result.
svn: r8885
|
2008-03-04 23:09:45 +00:00 |
|
Eli Barzilay
|
ec78d4660d
|
typed scheme is not released yet, the docs should go elsewhere
svn: r8877
|
2008-03-04 17:38:32 +00:00 |
|
Eli Barzilay
|
5ff5d6c580
|
misc things
svn: r8866
|
2008-03-04 02:46:54 +00:00 |
|
Eli Barzilay
|
f1a68778d2
|
redundant name field
svn: r8865
|
2008-03-04 01:49:43 +00:00 |
|
Sam Tobin-Hochstadt
|
0d54ed5e74
|
Add Typed Scheme as a collection.
svn: r8864
|
2008-03-03 22:57:55 +00:00 |
|