matthijs/master-project/report.git
11 years agoRestructure the introduction of the Normalization chapter.
Matthijs Kooijman [Mon, 5 Oct 2009 12:17:07 +0000 (14:17 +0200)]
Restructure the introduction of the Normalization chapter.

It now builds up to the formal definition using smaller examples, which
should make the chapter more easy to understand.

11 years agoVertically center the register output port.
Matthijs Kooijman [Mon, 5 Oct 2009 12:15:42 +0000 (14:15 +0200)]
Vertically center the register output port.

11 years agoAdd a "sel" point for the selector to the multiplexers.
Matthijs Kooijman [Mon, 5 Oct 2009 11:32:27 +0000 (13:32 +0200)]
Add a "sel" point for the selector to the multiplexers.

11 years agoMake multiplexers a bit smaller.
Matthijs Kooijman [Mon, 5 Oct 2009 11:31:54 +0000 (13:31 +0200)]
Make multiplexers a bit smaller.

11 years agoAdd a "definition" float.
Matthijs Kooijman [Mon, 5 Oct 2009 10:20:24 +0000 (12:20 +0200)]
Add a "definition" float.

11 years agoLimit randomizations of boxes by the minimum dimension.
Matthijs Kooijman [Mon, 5 Oct 2009 10:17:54 +0000 (12:17 +0200)]
Limit randomizations of boxes by the minimum dimension.

Previously, the amount of randomizations was determined by the width only,
causing full width but low boxes to be heavily randomized.

11 years agoAdd two new simple normal form examples.
Matthijs Kooijman [Fri, 2 Oct 2009 11:31:24 +0000 (13:31 +0200)]
Add two new simple normal form examples.

11 years agoAdd boxedgraphic macro to display a metapost graphic with a border.
Matthijs Kooijman [Thu, 1 Oct 2009 14:00:53 +0000 (16:00 +0200)]
Add boxedgraphic macro to display a metapost graphic with a border.

11 years agoAdd \typebufferlam helper macro.
Matthijs Kooijman [Thu, 1 Oct 2009 13:59:58 +0000 (15:59 +0200)]
Add \typebufferlam helper macro.

This macro formats the contents of a buffer with lambda code, with a nice
box around it. This makes up for the fact that Context doesn't have such a
macro.

11 years agoUse width=fit for startboxed and remove startwideboxed.
Matthijs Kooijman [Thu, 1 Oct 2009 10:39:02 +0000 (12:39 +0200)]
Use width=fit for startboxed and remove startwideboxed.

Using width=fit makes the correct for transformations as well, so there is
no more need for a seperate full textwidth framedtext context.

11 years agoSome minor wording fixes.
Matthijs Kooijman [Thu, 1 Oct 2009 10:29:43 +0000 (12:29 +0200)]
Some minor wording fixes.

11 years agoAdd multiplexer metapost object.
Matthijs Kooijman [Thu, 1 Oct 2009 10:29:02 +0000 (12:29 +0200)]
Add multiplexer metapost object.

11 years agoAdd a midpoint Metapost macro.
Matthijs Kooijman [Wed, 30 Sep 2009 15:10:31 +0000 (17:10 +0200)]
Add a midpoint Metapost macro.

11 years agoRandomize the transformation HLine a bit.
Matthijs Kooijman [Wed, 30 Sep 2009 15:10:12 +0000 (17:10 +0200)]
Randomize the transformation HLine a bit.

11 years agoFix type in comment.
Matthijs Kooijman [Wed, 30 Sep 2009 14:23:57 +0000 (16:23 +0200)]
Fix type in comment.

11 years agoUpdate outline.
Matthijs Kooijman [Wed, 30 Sep 2009 12:50:46 +0000 (14:50 +0200)]
Update outline.

11 years agoDon't use uniqueMPgraphic for randomized graphics.
Matthijs Kooijman [Wed, 30 Sep 2009 11:58:42 +0000 (13:58 +0200)]
Don't use uniqueMPgraphic for randomized graphics.

Since uniqueMPgraphics are only evaluated once for every set of variables
(width, height, etc.), every box with the same size is randomized in the
same way. Using useMPgraphics ensures that the graphics are redrawn every
time.

11 years agoUse \HLine instead of \blackrule in transformations.
Matthijs Kooijman [Wed, 30 Sep 2009 11:57:22 +0000 (13:57 +0200)]
Use \HLine instead of \blackrule in transformations.

11 years agoAdd \HLine command that draws a horizontal line.
Matthijs Kooijman [Wed, 30 Sep 2009 11:56:09 +0000 (13:56 +0200)]
Add \HLine command that draws a horizontal line.

This line is drawn using metapost, to make it look more consistent with
the other boxes etc.

11 years agoAdd TODO about globbed spaces after \eg and \ie.
Matthijs Kooijman [Wed, 30 Sep 2009 09:39:55 +0000 (11:39 +0200)]
Add TODO about globbed spaces after \eg and \ie.

11 years agoMake the box randomization scale with the box size.
Matthijs Kooijman [Tue, 29 Sep 2009 16:06:54 +0000 (18:06 +0200)]
Make the box randomization scale with the box size.

Previously, small boxes would sometimes be warped to much, causing content
to fall out.

11 years agoPut a fancy box around transformation examples as well.
Matthijs Kooijman [Tue, 29 Sep 2009 16:02:00 +0000 (18:02 +0200)]
Put a fancy box around transformation examples as well.

11 years agoTweak the sizes of the frames in transformations a bit.
Matthijs Kooijman [Tue, 29 Sep 2009 15:43:18 +0000 (17:43 +0200)]
Tweak the sizes of the frames in transformations a bit.

Because we added an extra frame before, with its own offset, the frames
used to put the transformation and conditions next to each other became a
bit too big.

11 years agoAdd pretty boxes around various typing environments.
Matthijs Kooijman [Tue, 29 Sep 2009 15:42:50 +0000 (17:42 +0200)]
Add pretty boxes around various typing environments.

11 years agoAdd labels to all chapters.
Matthijs Kooijman [Tue, 29 Sep 2009 14:50:39 +0000 (16:50 +0200)]
Add labels to all chapters.

11 years agoFurther expand the Prototype chapter.
Matthijs Kooijman [Tue, 29 Sep 2009 14:22:50 +0000 (16:22 +0200)]
Further expand the Prototype chapter.

11 years agoUse save instead of clearObj in a MP drawing.
Matthijs Kooijman [Tue, 29 Sep 2009 12:04:32 +0000 (14:04 +0200)]
Use save instead of clearObj in a MP drawing.

11 years agoMake a start with the prototype chapter.
Matthijs Kooijman [Mon, 28 Sep 2009 18:37:34 +0000 (20:37 +0200)]
Make a start with the prototype chapter.

11 years agoAdd "New language" to the outline.
Matthijs Kooijman [Mon, 28 Sep 2009 18:37:10 +0000 (20:37 +0200)]
Add "New language" to the outline.

11 years agoAdd outline for Prototype chapter.
Matthijs Kooijman [Mon, 28 Sep 2009 17:00:26 +0000 (19:00 +0200)]
Add outline for Prototype chapter.

11 years agoAdd a section on research goals and an outline.
Matthijs Kooijman [Thu, 24 Sep 2009 14:16:05 +0000 (16:16 +0200)]
Add a section on research goals and an outline.

11 years agoUpdate outline.
Matthijs Kooijman [Thu, 24 Sep 2009 14:15:33 +0000 (16:15 +0200)]
Update outline.

11 years agoAdd a hack to make \overrightarrow work in MetaPost.
Matthijs Kooijman [Wed, 23 Sep 2009 13:41:14 +0000 (15:41 +0200)]
Add a hack to make \overrightarrow work in MetaPost.

11 years agoDefine a custom "Register" MetaObj object.
Matthijs Kooijman [Wed, 23 Sep 2009 13:40:58 +0000 (15:40 +0200)]
Define a custom "Register" MetaObj object.

11 years agoSet up MetaPost and MetaObj for drawing diagrams.
Matthijs Kooijman [Wed, 23 Sep 2009 13:40:22 +0000 (15:40 +0200)]
Set up MetaPost and MetaObj for drawing diagrams.

11 years agoRun texexec under nice.
Matthijs Kooijman [Wed, 23 Sep 2009 13:21:34 +0000 (15:21 +0200)]
Run texexec under nice.

Previously, luatex had the habit of choking up all memory and making the
system (temporarily) non-responsive. Perhaps this helps.

11 years agoUse the moder math font, since it has vector arrows.
Matthijs Kooijman [Fri, 18 Sep 2009 13:03:20 +0000 (15:03 +0200)]
Use the moder math font, since it has vector arrows.

11 years agoActually use the Introduction chapter.
Matthijs Kooijman [Wed, 16 Sep 2009 15:02:57 +0000 (17:02 +0200)]
Actually use the Introduction chapter.

11 years agoUse old style numbers when available.
Matthijs Kooijman [Wed, 16 Sep 2009 12:52:03 +0000 (14:52 +0200)]
Use old style numbers when available.

11 years agoAdd a brainstorm for an outline.
Matthijs Kooijman [Wed, 9 Sep 2009 17:56:28 +0000 (19:56 +0200)]
Add a brainstorm for an outline.

11 years agoAdd (a start of) an introduction).
Matthijs Kooijman [Wed, 9 Sep 2009 17:55:58 +0000 (19:55 +0200)]
Add (a start of) an introduction).

11 years agoAdd a bit content to a new Future Work chapter.
Matthijs Kooijman [Wed, 9 Sep 2009 15:53:31 +0000 (17:53 +0200)]
Add a bit content to a new Future Work chapter.

11 years agoRemove the example sequence, it was completely out of date.
Matthijs Kooijman [Wed, 2 Sep 2009 09:17:18 +0000 (11:17 +0200)]
Remove the example sequence, it was completely out of date.

11 years agoImprove some text and add definitions in Normalization.
Matthijs Kooijman [Wed, 2 Sep 2009 09:16:48 +0000 (11:16 +0200)]
Improve some text and add definitions in Normalization.

11 years agoAdd a small bit of whitespace beteen paragraphs.
Matthijs Kooijman [Wed, 2 Sep 2009 09:16:31 +0000 (11:16 +0200)]
Add a small bit of whitespace beteen paragraphs.

11 years agoDefine \epmh{foo} for easy emphasis.
Matthijs Kooijman [Wed, 2 Sep 2009 09:15:28 +0000 (11:15 +0200)]
Define \epmh{foo} for easy emphasis.

Normally, only {\em foo} works, but that is ugly and can add whitespace
in some cases (such as at the start of a line). The solution for the
latter, {\em{}foo} is even uglier.

11 years agoAdd letrec and letnonrec as keywords to pret-lam.
Matthijs Kooijman [Wed, 2 Sep 2009 09:13:15 +0000 (11:13 +0200)]
Add letrec and letnonrec as keywords to pret-lam.

11 years agoUpdate a bunch more transformations.
Matthijs Kooijman [Tue, 1 Sep 2009 20:18:25 +0000 (22:18 +0200)]
Update a bunch more transformations.

This almost completes the transformation specifications.

11 years agoAdd content to a bunch more transformations.
Matthijs Kooijman [Mon, 31 Aug 2009 17:12:16 +0000 (19:12 +0200)]
Add content to a bunch more transformations.

11 years agoReorder and complete the list of transformations.
Matthijs Kooijman [Mon, 31 Aug 2009 16:32:35 +0000 (18:32 +0200)]
Reorder and complete the list of transformations.

This does not add any content, except for updating β-reduction.

11 years agoAdd a bit spacing after a transformation.
Matthijs Kooijman [Mon, 31 Aug 2009 16:32:14 +0000 (18:32 +0200)]
Add a bit spacing after a transformation.

Or rather, don't remove it.

11 years agoAdd a new definition of the normal form.
Matthijs Kooijman [Fri, 28 Aug 2009 19:41:15 +0000 (21:41 +0200)]
Add a new definition of the normal form.

This definition uses a sort of EBNF.

11 years agoMake pret-lam preserve alignment using whitespace.
Matthijs Kooijman [Fri, 28 Aug 2009 13:23:46 +0000 (15:23 +0200)]
Make pret-lam preserve alignment using whitespace.

This is slightly complicated, but it should work properly in most cases.

11 years agoDeclare variables as local in pret-lam.
Matthijs Kooijman [Fri, 28 Aug 2009 12:04:04 +0000 (14:04 +0200)]
Declare variables as local in pret-lam.

11 years agoSupport the | character in pret-lam.
Matthijs Kooijman [Fri, 28 Aug 2009 12:02:37 +0000 (14:02 +0200)]
Support the | character in pret-lam.

11 years agoRemove explicit subscription underscores.
Matthijs Kooijman [Thu, 27 Aug 2009 11:46:44 +0000 (13:46 +0200)]
Remove explicit subscription underscores.

These are now autodetected.

11 years agoUpdate normal form example.
Matthijs Kooijman [Thu, 27 Aug 2009 11:46:35 +0000 (13:46 +0200)]
Update normal form example.

11 years agoLet all lambda expressions in pret-trans share subscript detection.
Matthijs Kooijman [Thu, 27 Aug 2009 11:44:23 +0000 (13:44 +0200)]
Let all lambda expressions in pret-trans share subscript detection.

11 years agoLet pret-lam support blocks of multiple lambda expressions.
Matthijs Kooijman [Thu, 27 Aug 2009 11:42:57 +0000 (13:42 +0200)]
Let pret-lam support blocks of multiple lambda expressions.

This enables subscript detection from one lambda expression or buffer to
influence the lambda detection in other buffer.

11 years agoUse local variables for storing visualizer dicts.
Matthijs Kooijman [Thu, 27 Aug 2009 11:45:19 +0000 (13:45 +0200)]
Use local variables for storing visualizer dicts.

Using global variables could cause problems when pretty printers call
eachother and use the vis variable.

11 years agoImprove subscript handling in pret-lam.
Matthijs Kooijman [Thu, 27 Aug 2009 11:17:32 +0000 (13:17 +0200)]
Improve subscript handling in pret-lam.

The handling is now a bit more strict when automatically detecting
multiple character subscripts, to prevent things like "return" from being
turned into "r_eturn".

11 years agoMake pret-trans complain on invalid input.
Matthijs Kooijman [Thu, 27 Aug 2009 11:03:39 +0000 (13:03 +0200)]
Make pret-trans complain on invalid input.

Before, the lua would just crash with a vague error.

11 years agoUse the Linux Libertine roman font for regular text.
Matthijs Kooijman [Thu, 27 Aug 2009 10:00:42 +0000 (12:00 +0200)]
Use the Linux Libertine roman font for regular text.

It turned out that the palatino (and most other roman fonts shipped with
context) didn't have greek letters.

11 years agoUse antykwa for math, and palatino for serif text.
Matthijs Kooijman [Wed, 26 Aug 2009 10:09:35 +0000 (12:09 +0200)]
Use antykwa for math, and palatino for serif text.

11 years agoMake pret-haskell work also for inline \types.
Matthijs Kooijman [Wed, 26 Aug 2009 07:58:38 +0000 (09:58 +0200)]
Make pret-haskell work also for inline \types.

Somehow, \type sets the catcodes different than \starttyping, causing \obs
and other escape codes produced by pret-haskell to not work. Now,
pret-haskell sets the right catcodes for each print, so this is no longer
a problem.

11 years agoRemove two old (empty) chapter definitions.
Matthijs Kooijman [Wed, 26 Aug 2009 07:58:22 +0000 (09:58 +0200)]
Remove two old (empty) chapter definitions.

11 years agoRemove \stoptext from the Normalization chapter.
Matthijs Kooijman [Wed, 26 Aug 2009 07:55:50 +0000 (09:55 +0200)]
Remove \stoptext from the Normalization chapter.

11 years agoMake \hs print in monospaced.
Matthijs Kooijman [Wed, 26 Aug 2009 07:43:43 +0000 (09:43 +0200)]
Make \hs print in monospaced.

11 years agoRemove a few debug prints from pret-trans.
Matthijs Kooijman [Tue, 25 Aug 2009 15:43:41 +0000 (17:43 +0200)]
Remove a few debug prints from pret-trans.

11 years agoMake pret-lam work for \type{} as well.
Matthijs Kooijman [Tue, 25 Aug 2009 15:36:19 +0000 (17:36 +0200)]
Make pret-lam work for \type{} as well.

11 years agoActually enable the Hardware description chapter.
Matthijs Kooijman [Tue, 25 Aug 2009 15:34:41 +0000 (17:34 +0200)]
Actually enable the Hardware description chapter.

11 years agoUpdate the pret-trans to current context beta.
Matthijs Kooijman [Tue, 25 Aug 2009 15:30:41 +0000 (17:30 +0200)]
Update the pret-trans to current context beta.

11 years agoUpdate the pret-lam to current context beta.
Matthijs Kooijman [Tue, 25 Aug 2009 15:02:34 +0000 (17:02 +0200)]
Update the pret-lam to current context beta.

11 years agoFix typo in SConstruct file.
Matthijs Kooijman [Tue, 25 Aug 2009 14:55:38 +0000 (16:55 +0200)]
Fix typo in SConstruct file.

11 years agoAdd a Hardware description chapter, that describes the language.
Matthijs Kooijman [Tue, 25 Aug 2009 14:50:30 +0000 (16:50 +0200)]
Add a Hardware description chapter, that describes the language.

This chapter is still far from finished.

11 years agoMake Core2Core a chapter in the report.
Matthijs Kooijman [Tue, 25 Aug 2009 14:49:41 +0000 (16:49 +0200)]
Make Core2Core a chapter in the report.

This removes some old definitions in the file and disables some content
that needs rewriting.

11 years agoMake Report use globbing for dependencies.
Matthijs Kooijman [Tue, 25 Aug 2009 14:48:34 +0000 (16:48 +0200)]
Make Report use globbing for dependencies.

Report now depends on all Chapters, all Utils and all local pretty
printers.

11 years agoRemove debug print from pret-haskell.lua.
Matthijs Kooijman [Tue, 25 Aug 2009 14:34:05 +0000 (16:34 +0200)]
Remove debug print from pret-haskell.lua.

11 years agoDefine a \hs command for inline Haskell.
Matthijs Kooijman [Tue, 25 Aug 2009 14:17:13 +0000 (16:17 +0200)]
Define a \hs command for inline Haskell.

11 years agoFix a comment.
Matthijs Kooijman [Tue, 25 Aug 2009 14:16:52 +0000 (16:16 +0200)]
Fix a comment.

11 years agoAdd some content to the State chapter.
Matthijs Kooijman [Thu, 20 Aug 2009 17:38:25 +0000 (19:38 +0200)]
Add some content to the State chapter.

It is still far from complete and correct.

11 years agoAdd a haskell pretty printer.
Matthijs Kooijman [Thu, 20 Aug 2009 17:37:26 +0000 (19:37 +0200)]
Add a haskell pretty printer.

This pretty printer is mostly just verbatim text, but with the ability to
apply strikethrough to lines by putting dashes around the text.

11 years agoUse AddPostAction for scp'ing Report.pdf.
Matthijs Kooijman [Thu, 30 Jul 2009 10:18:37 +0000 (12:18 +0200)]
Use AddPostAction for scp'ing Report.pdf.

This is slightly more elegant than doing the scp as part of the context
builder.

11 years agoTell scons about Report.tex.
Matthijs Kooijman [Tue, 28 Jul 2009 15:17:02 +0000 (17:17 +0200)]
Tell scons about Report.tex.

11 years agoActually use Shortcuts.tex.
Matthijs Kooijman [Tue, 28 Jul 2009 15:09:41 +0000 (17:09 +0200)]
Actually use Shortcuts.tex.

11 years agoRename shortcuts.tex to Shortcuts.tex
Matthijs Kooijman [Tue, 28 Jul 2009 15:09:15 +0000 (17:09 +0200)]
Rename shortcuts.tex to Shortcuts.tex

11 years agoAdd some initial structure for the final report.
Matthijs Kooijman [Mon, 27 Jul 2009 13:37:33 +0000 (15:37 +0200)]
Add some initial structure for the final report.

This structure is far from final or complete, but serves to test the
building infrastructure. Also, the State chapter contains some notes about
possible content.

11 years agoClean up SConstruct file.
Matthijs Kooijman [Mon, 27 Jul 2009 12:43:40 +0000 (14:43 +0200)]
Clean up SConstruct file.

11 years agoUse the transformation pretty printer.
Matthijs Kooijman [Mon, 27 Jul 2009 11:38:04 +0000 (13:38 +0200)]
Use the transformation pretty printer.

This changes two transformations to use the new pretty printer, the rest
still needs to be converted.

11 years agoMake ~ a symbol in lambda calculus.
Matthijs Kooijman [Mon, 27 Jul 2009 11:37:46 +0000 (13:37 +0200)]
Make ~ a symbol in lambda calculus.

11 years agoAdd transformation pretty printer.
Matthijs Kooijman [Mon, 27 Jul 2009 11:37:07 +0000 (13:37 +0200)]
Add transformation pretty printer.

11 years agoAdd TODO.
Matthijs Kooijman [Thu, 2 Jul 2009 09:33:26 +0000 (11:33 +0200)]
Add TODO.

11 years agoAllow a word to start with uppercase letters too.
Matthijs Kooijman [Wed, 1 Jul 2009 15:04:19 +0000 (17:04 +0200)]
Allow a word to start with uppercase letters too.

11 years agoBriefly describe all other transforms.
Matthijs Kooijman [Wed, 1 Jul 2009 15:03:41 +0000 (17:03 +0200)]
Briefly describe all other transforms.

11 years agoUpdate and/or remove older text.
Matthijs Kooijman [Wed, 1 Jul 2009 14:51:35 +0000 (16:51 +0200)]
Update and/or remove older text.

11 years agoAdd some more transformations.
Matthijs Kooijman [Wed, 1 Jul 2009 14:35:15 +0000 (16:35 +0200)]
Add some more transformations.

Also, restructure the argument simplification a bit, since it turns out
argument extraction applies to builtin functions as well.

11 years agoOnly allow a word to start with a-z in pret-lam.
Matthijs Kooijman [Wed, 1 Jul 2009 14:32:07 +0000 (16:32 +0200)]
Only allow a word to start with a-z in pret-lam.

This prevents seeing a λ or other non a-z (but letter characters according
to the %a character class) as the start of a word.

11 years agoAdd two transforms for argument simplification.
Matthijs Kooijman [Tue, 30 Jun 2009 17:38:07 +0000 (19:38 +0200)]
Add two transforms for argument simplification.

Also, add some text describing why the transforms are neccesary and how
they work.

11 years agoAdd and improve some transformations.
Matthijs Kooijman [Mon, 29 Jun 2009 15:14:04 +0000 (17:14 +0200)]
Add and improve some transformations.

11 years agoUpdate pret-lam to a new version of by begin/end_of_buffer patch.
Matthijs Kooijman [Mon, 29 Jun 2009 15:09:59 +0000 (17:09 +0200)]
Update pret-lam to a new version of by begin/end_of_buffer patch.

Now, begin_of_buffer and end_of_buffer are always called, even for \type{}
commands. This greatly simplifies their contents and hackyness.

Also add some comments.