git.stderr.nl Git - matthijs/master-project/report.git/atom logMaster's thesis on the cλash compilerhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.gitmatthijsstatic/git-favicon.pngstatic/git-logo.png2010-02-23T09:51:59ZgitwebRemove some progress documents, they are being stored elsewhere.2010-02-23T09:51:59ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2010-02-23T09:51:59Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=0dfecb0be783911fd804436c22bbbf8c79711cc3
Remove some progress documents, they are being stored elsewhere.
Fix the headers on the conclusion and references list.2009-12-09T12:57:19ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T12:57:19Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=a552dc2d5a6d27f397543585caa90352fee37db0
Fix the headers on the conclusion and references list.
Actually include the acknowledgements.2009-12-09T12:09:10ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T12:09:10Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=1993a03662ae0fb9a0ca57d8faf5f7f810fff749
Do not put the frontmatter titles into the header area.2009-12-09T12:07:47ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T12:07:47Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=eb4515fc76f9ee654c6b3ab7be4e0f68d5847801
Do not put the frontmatter titles into the header area.
Require a word (including its subscript) to end in a number or letter.2009-12-09T11:49:53ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T11:49:53Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=75ecd039ac5d8da858fa77b44ec882cbde1a37f1
Require a word (including its subscript) to end in a number or letter.
Don't put AvgStateRemoved in a float.2009-12-09T10:42:47ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T10:42:47Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=23f5c33533e6ab45727c79b309751c2c25dd3327
Don't put AvgStateRemoved in a float.
Doing this completely foobarred the strikethrough...
Fix / remove some final todos.2009-12-09T09:41:52ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T09:41:52Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=2ff5f767f17203c764a8ec9ef6711b234c1deb6d
Some fixes to the prototype chapter.2009-12-09T09:31:39ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T09:31:39Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=efc1953cd015844a2d969a9c9b6e633569891033
Add a section on proving determinism.2009-12-09T09:21:09ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T09:21:09Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=1f7da57279ce037054198cb09402dcc5f1ac913e
Use the logical and from the roman font.2009-12-09T09:20:05ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T09:20:05Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=78cf84f89627a17ae9da3c5eaa518b0389c121d0
Use the logical and from the roman font.
The sans font doesn't have it.
Add the ->> symbol to the lambda prettyprinter.2009-12-09T09:03:49ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T09:03:49Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=76cd2b4d6bc5376f95c9bb9cd649e3f68f6f1d46
Allow for ordering of symbols in the lambda prettyprinter.2009-12-09T09:02:36ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-09T09:02:36Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=b11f541f7d0b67f2871f1c7fed731155b1808343
Allow for ordering of symbols in the lambda prettyprinter.
By using an array instead of a table, the symbols can be ordered. This
allows using symbols where one is a prefix of the other, by placing the
longer one first.
Fix spelling as suggested by aspell.2009-12-08T21:29:10ZMatthijs Kooijmanmatthijs@stdin.nlMatthijs Kooijmanmatthijs@stdin.nl2009-12-08T21:29:10Zhttps://git.stderr.nl/gitweb?p=matthijs/master-project/report.git;a=commitdiff;h=a8cc8a42f676a1ab1ddca1c84b017d059610783d