Commit message (Expand)AuthorAgeFilesLines
* typed-sequence.rkt: Simplify the code a bit.HEADmasterMatthias Andreas Benkard2011-08-111-2/+1
* Fix primary file setting.Matthias Andreas Benkard2011-08-111-4/+4
* Bump version number.Matthias Andreas Benkard2011-08-111-1/+1
* Add main.rkt.Matthias Andreas Benkard2011-08-111-0/+6
* Fix manual formatting.Matthias Andreas Benkard2011-08-111-7/+7
* Add a rule for Scribble files to .hgeol.Matthias Andreas Benkard2011-08-111-1/+1
* Add a rule for Scribble files to .hgeol.Matthias Andreas Benkard2011-08-111-0/+1
* Make the manual buildable without first installing the PLaneT package.Matthias Andreas Benkard2011-08-111-88/+88
* Bump version number.Matthias Andreas Benkard2011-08-111-1/+1
* Fix compatibility with Racket 5.1.Matthias Andreas Benkard2011-08-112-15/+25
* Merge Typed Racket branch.Matthias Andreas Benkard2011-06-253-144/+320
| * Add more metainformation to info.rkt.Matthias Andreas Benkard2011-06-241-0/+20
| * Adapt the manual to the Typed Racket implementation.Matthias Andreas Benkard2011-06-241-36/+17
| * Minor cleanups.Matthias Andreas Benkard2011-06-231-3/+0
| * Add some documentation.Matthias Andreas Benkard2011-06-232-0/+112
| * Move public type declarations and definitions to the top of the file.Matthias Andreas Benkard2011-06-241-12/+11
| * Comment the example code snippet out again.Matthias Andreas Benkard2011-06-221-0/+1
| * Finish Typed Racket implementation.Matthias Andreas Benkard2011-06-221-95/+134
| * Begin translation to Typed Racket.Matthias Andreas Benkard2011-06-221-70/+97
* Comment the example code out.Matthias Andreas Benkard2011-06-211-1/+1
* Factor flip-flop-map out of classify-chunks.Matthias Andreas Benkard2011-06-211-10/+15
* Significantly simplify the lexing phase by using a more functional code style.Matthias Andreas Benkard2011-06-211-81/+35
* Add file .hgeol.Matthias Andreas Benkard2011-06-211-0/+4
* Use a here-doc for the example template.Matthias Andreas Benkard2011-06-211-2/+3
* Wrap templates in a struct type.Matthias Andreas Benkard2011-06-211-3/+7
* Improve dictionary resolution efficiency a bit.Matthias Andreas Benkard2011-06-161-3/+4
* Support arbitrary <dict?> objects as parameter input.Matthias Andreas Benkard2011-06-161-21/+13
* Initial commit.Matthias Andreas Benkard2011-06-161-0/+375