Matthijs Kooijman [Tue, 1 Dec 2009 11:13:23 +0000 (12:13 +0100)]
Remove some whitespace.
Matthijs Kooijman [Tue, 1 Dec 2009 10:59:35 +0000 (11:59 +0100)]
Change the symbol used for casting to ▶.
This removes the ambiguity between using :: for explicitly casting and for
showing the type of an expression.
Matthijs Kooijman [Tue, 1 Dec 2009 10:57:27 +0000 (11:57 +0100)]
Support ▶ in the lambda prettyprinter.
We'll have to use the glyph from our roman font, since our sans font
doesn't have it.
Matthijs Kooijman [Tue, 1 Dec 2009 10:12:27 +0000 (11:12 +0100)]
Add note about β-reduction for type variables.
Matthijs Kooijman [Mon, 30 Nov 2009 22:22:14 +0000 (23:22 +0100)]
Restructure some of the normalization chapter.
Matthijs Kooijman [Mon, 30 Nov 2009 20:54:28 +0000 (21:54 +0100)]
Some minor fixes and improvements.
Matthijs Kooijman [Mon, 30 Nov 2009 20:45:34 +0000 (21:45 +0100)]
Put a VHDL in smallcaps.
Matthijs Kooijman [Mon, 30 Nov 2009 20:09:01 +0000 (21:09 +0100)]
Fix two references.
Matthijs Kooijman [Mon, 30 Nov 2009 19:50:12 +0000 (20:50 +0100)]
Finalize the proofs section.
Also add a section about proofs to the future work section.
Matthijs Kooijman [Mon, 30 Nov 2009 10:26:18 +0000 (11:26 +0100)]
Add vim modelines.
Matthijs Kooijman [Fri, 27 Nov 2009 12:03:43 +0000 (13:03 +0100)]
Review more chapters.
Matthijs Kooijman [Thu, 26 Nov 2009 22:30:08 +0000 (23:30 +0100)]
Fix typo in regex for subscripts.
Matthijs Kooijman [Tue, 24 Nov 2009 19:52:48 +0000 (20:52 +0100)]
Review the first few chapters.
This fixes a lot of small errors, improves some wordings, adds some todos
and rewrites all todos to use the fixme package.
Matthijs Kooijman [Tue, 24 Nov 2009 15:45:39 +0000 (16:45 +0100)]
Use the unicode rightwards arrow instead of \rightarrow.
It seems this uses the arrow from the current font instead of something
else, which looks slightly better.
Matthijs Kooijman [Tue, 24 Nov 2009 15:44:16 +0000 (16:44 +0100)]
Support => in the lambda prettyprinter.
Matthijs Kooijman [Tue, 24 Nov 2009 15:04:31 +0000 (16:04 +0100)]
Use a non-breaking space instead of \obs in the lambda prettyprinter.
This makes sure that lambda expressions don't get breaks halfway, but
still preserves multiple spaces (apparently the unicode non-breaking space
is not collapsed like other whitespace).
Matthijs Kooijman [Tue, 24 Nov 2009 14:17:42 +0000 (15:17 +0100)]
Put DEFAULT in smallcaps in the lambda prettyprinter.
Matthijs Kooijman [Fri, 20 Nov 2009 10:42:56 +0000 (11:42 +0100)]
Prevent some shortcuts from gobbling the next space.
Or rather, let them take a guess and reinsert the next space, I think, but
it seems to work.
Matthijs Kooijman [Thu, 19 Nov 2009 12:56:14 +0000 (13:56 +0100)]
Add (commented) lines to disable todo's and fixmes.
This leaves notes enabled, which should be visible to my supervisors.
Matthijs Kooijman [Thu, 19 Nov 2009 12:37:08 +0000 (13:37 +0100)]
Add (commented) lines for 2-up printing.
Matthijs Kooijman [Thu, 19 Nov 2009 12:36:34 +0000 (13:36 +0100)]
Enable the fixme module.
Matthijs Kooijman [Thu, 12 Nov 2009 14:24:03 +0000 (15:24 +0100)]
Update title.
Matthijs Kooijman [Thu, 12 Nov 2009 14:22:23 +0000 (15:22 +0100)]
Add / update TODOs.
Matthijs Kooijman [Thu, 12 Nov 2009 14:14:59 +0000 (15:14 +0100)]
Add two TODOs.
Matthijs Kooijman [Thu, 12 Nov 2009 14:12:40 +0000 (15:12 +0100)]
Remove an extra backslash.
This screws up syntax highlighting, but at least gives proper output.
Matthijs Kooijman [Thu, 12 Nov 2009 14:10:39 +0000 (15:10 +0100)]
Add a section on the Core type system.
Matthijs Kooijman [Wed, 11 Nov 2009 21:14:51 +0000 (22:14 +0100)]
Add section about don't care values.
Matthijs Kooijman [Wed, 11 Nov 2009 19:04:37 +0000 (20:04 +0100)]
Add TODO.
Matthijs Kooijman [Wed, 11 Nov 2009 19:04:11 +0000 (20:04 +0100)]
Update outline.
Matthijs Kooijman [Wed, 11 Nov 2009 19:03:22 +0000 (20:03 +0100)]
Fix source indentation.
Matthijs Kooijman [Wed, 11 Nov 2009 16:43:58 +0000 (17:43 +0100)]
Expand the improved notation for state and pipelining sections.
Matthijs Kooijman [Wed, 11 Nov 2009 10:15:56 +0000 (11:15 +0100)]
Update outline.
Matthijs Kooijman [Wed, 11 Nov 2009 09:57:23 +0000 (10:57 +0100)]
Promote the Output format subsection to a section.
Matthijs Kooijman [Wed, 11 Nov 2009 09:56:55 +0000 (10:56 +0100)]
Put a vector error over "output" in a figure.
Matthijs Kooijman [Wed, 11 Nov 2009 09:55:59 +0000 (10:55 +0100)]
Add the prototype to the research goals.
Matthijs Kooijman [Wed, 11 Nov 2009 09:39:41 +0000 (10:39 +0100)]
Properly escape ampersands.
Matthijs Kooijman [Tue, 10 Nov 2009 20:46:46 +0000 (21:46 +0100)]
Add section on Choice.
Matthijs Kooijman [Fri, 6 Nov 2009 16:31:57 +0000 (17:31 +0100)]
Add \VHDL and \GHC shortcuts.
Matthijs Kooijman [Fri, 6 Nov 2009 15:24:41 +0000 (16:24 +0100)]
Enable indent stripping for \typebufferlam and \typebufferhs.
Matthijs Kooijman [Fri, 6 Nov 2009 11:06:02 +0000 (12:06 +0100)]
Fix layout of a transformation.
Matthijs Kooijman [Fri, 6 Nov 2009 10:58:25 +0000 (11:58 +0100)]
Automatically strip leading whitespace from all typing environments.
This is a new feature in ConTeXt, that replaces my custom code in the
pretty printers.
Matthijs Kooijman [Fri, 6 Nov 2009 10:08:29 +0000 (11:08 +0100)]
Revert "Allow transformations to be indented."
ConTeXt now includes support to do this for any typing environment.
This reverts commit
72a9e027667346a15478adc8109c26a4ffd17f5e.
Matthijs Kooijman [Fri, 6 Nov 2009 10:06:39 +0000 (11:06 +0100)]
Revert "Allow lambda expression to be indented."
ConTeXt now includes support to do this for any typing environment.
This reverts commit
8b0d89230c60a843886d36f392755e169b29a114.
Matthijs Kooijman [Thu, 5 Nov 2009 13:50:04 +0000 (14:50 +0100)]
Improve a footnote.
Matthijs Kooijman [Wed, 4 Nov 2009 16:10:09 +0000 (17:10 +0100)]
Add a section on the output format.
Matthijs Kooijman [Wed, 4 Nov 2009 14:26:58 +0000 (15:26 +0100)]
Describe Top level binding inlining.
Matthijs Kooijman [Wed, 4 Nov 2009 14:05:26 +0000 (15:05 +0100)]
Allow literal $'s to be used in lambda expressions.
Matthijs Kooijman [Wed, 4 Nov 2009 11:47:34 +0000 (12:47 +0100)]
Make the normal form use only recursive lets again.
Previously, both recursive and non-recursive lets were allowed, which made
a lot of transformations a lot more complex. Now, all lets are made
recursive again, which makes things simpler.
Also do some other miscellaneous fixes in the Normalization chapter.
Matthijs Kooijman [Wed, 4 Nov 2009 11:37:23 +0000 (12:37 +0100)]
Explicitely use "letrec" for recursive lets.
Matthijs Kooijman [Wed, 4 Nov 2009 09:58:19 +0000 (10:58 +0100)]
Make pret-trans call pret-lam indirectly.
Previously, the pret-lam functions were called directly from lua. Now, the
pret-trans prettyprinter generates \startlambda commands so the pretty
printer is called later. This means the start/end_of_block calls now also
include the right part.
Matthijs Kooijman [Mon, 2 Nov 2009 13:53:21 +0000 (14:53 +0100)]
Improve Normalization chapter a bit.
Matthijs Kooijman [Mon, 2 Nov 2009 11:24:23 +0000 (12:24 +0100)]
Update outline.
Matthijs Kooijman [Mon, 2 Nov 2009 11:21:06 +0000 (12:21 +0100)]
More indent fixes to the Normalization chapter.
Matthijs Kooijman [Mon, 2 Nov 2009 11:16:06 +0000 (12:16 +0100)]
Remove an unused (and commented) macro.
Matthijs Kooijman [Mon, 2 Nov 2009 11:14:15 +0000 (12:14 +0100)]
Reshuffle all transformations into categories.
This changes no text, only ordering and indentation. Transformation are
now put into a few categories (which still need an introductory text).
Matthijs Kooijman [Mon, 2 Nov 2009 11:14:00 +0000 (12:14 +0100)]
Allow lambda expression to be indented.
Matthijs Kooijman [Mon, 2 Nov 2009 10:54:52 +0000 (11:54 +0100)]
Allow transformations to be indented.
Matthijs Kooijman [Fri, 30 Oct 2009 16:42:54 +0000 (17:42 +0100)]
Add some stuff about provable properties of our system.
This section is still incomplete, the actual (ideas for) proofs still need
to be written.
Matthijs Kooijman [Fri, 30 Oct 2009 11:55:48 +0000 (12:55 +0100)]
Fix lua reference to ctxcatcodes.
Apparently something changed in context, making the old code not work (in
a weird and unexpected way).
Matthijs Kooijman [Fri, 30 Oct 2009 10:08:48 +0000 (11:08 +0100)]
Add some extra outline to the Hardware Description chapter.
Matthijs Kooijman [Wed, 28 Oct 2009 16:42:25 +0000 (17:42 +0100)]
Add more content to the Hardware Description chapter.
Matthijs Kooijman [Mon, 26 Oct 2009 16:55:22 +0000 (17:55 +0100)]
Finish state section in hardware description chapter.
Also move a bunch to the prototype chapter, since it is Haskell specific.
Matthijs Kooijman [Mon, 26 Oct 2009 14:07:10 +0000 (15:07 +0100)]
Add some more stuff about state.
Matthijs Kooijman [Mon, 26 Oct 2009 11:16:30 +0000 (12:16 +0100)]
Add two pictures.
Matthijs Kooijman [Mon, 26 Oct 2009 10:23:45 +0000 (11:23 +0100)]
Add some more context.
Matthijs Kooijman [Fri, 23 Oct 2009 20:34:50 +0000 (22:34 +0200)]
Add some context.
Matthijs Kooijman [Fri, 23 Oct 2009 19:03:28 +0000 (21:03 +0200)]
Add some more content to the State section.
Matthijs Kooijman [Fri, 23 Oct 2009 14:29:08 +0000 (16:29 +0200)]
Add a Context chapter.
Matthijs Kooijman [Fri, 23 Oct 2009 13:16:43 +0000 (15:16 +0200)]
Use \in instead of \at to refer to section numbers.
\at refers to page numbers instead.
Matthijs Kooijman [Fri, 23 Oct 2009 11:27:34 +0000 (13:27 +0200)]
Move the example float definition to Utils/.
Matthijs Kooijman [Fri, 23 Oct 2009 11:25:51 +0000 (13:25 +0200)]
Add \typebufferhs command to Haskell-typeset a buffer.
Matthijs Kooijman [Wed, 21 Oct 2009 13:15:32 +0000 (15:15 +0200)]
Actually compile the Future work chapter.
Matthijs Kooijman [Wed, 21 Oct 2009 13:15:15 +0000 (15:15 +0200)]
Add section label.
Matthijs Kooijman [Wed, 21 Oct 2009 13:11:31 +0000 (15:11 +0200)]
(Almost) finish the future work chapter.
Only the first two sections need some expansion.
Matthijs Kooijman [Tue, 20 Oct 2009 09:35:46 +0000 (11:35 +0200)]
Move the State chapter into the Hardware Description chapter.
Matthijs Kooijman [Thu, 15 Oct 2009 16:33:25 +0000 (18:33 +0200)]
Add a section on expressions in the Core language.
There should be another (sub)section on typing in the Core language.
Matthijs Kooijman [Thu, 15 Oct 2009 16:33:15 +0000 (18:33 +0200)]
Make "DEFAULT" a keyword.
Matthijs Kooijman [Tue, 13 Oct 2009 10:09:23 +0000 (12:09 +0200)]
Allow commas in implicit subscripts.
Matthijs Kooijman [Mon, 12 Oct 2009 11:24:04 +0000 (13:24 +0200)]
Fix typo.
Matthijs Kooijman [Mon, 12 Oct 2009 11:15:45 +0000 (13:15 +0200)]
Split "extended β-reduction" into two transformations.
Matthijs Kooijman [Mon, 12 Oct 2009 10:41:59 +0000 (12:41 +0200)]
Let \refdef generate clickable links.
Matthijs Kooijman [Mon, 12 Oct 2009 10:41:42 +0000 (12:41 +0200)]
Enable interaction (clickable links) in the table of contents.
Matthijs Kooijman [Mon, 12 Oct 2009 10:41:32 +0000 (12:41 +0200)]
Enable interaction (clickable links).
Matthijs Kooijman [Fri, 9 Oct 2009 15:18:58 +0000 (17:18 +0200)]
Reset quotation settings after changing them.
This partly works around a possible bug in Context, where \setupquotation
also affects (breaks) \quote output.
Matthijs Kooijman [Fri, 9 Oct 2009 13:50:33 +0000 (15:50 +0200)]
Update the definitions section and add references.
Matthijs Kooijman [Fri, 9 Oct 2009 13:50:56 +0000 (15:50 +0200)]
Add macros for definitions and inmargin references to them.
Matthijs Kooijman [Fri, 9 Oct 2009 09:15:13 +0000 (11:15 +0200)]
Restructure the section structure of the Normalization chapter.
Matthijs Kooijman [Thu, 8 Oct 2009 15:07:21 +0000 (17:07 +0200)]
Improve and clarify transformation format definition.
Matthijs Kooijman [Thu, 8 Oct 2009 12:42:50 +0000 (14:42 +0200)]
Add a section on binder uniqueness.
Matthijs Kooijman [Tue, 6 Oct 2009 08:51:49 +0000 (10:51 +0200)]
Add note about differences between Core and the graphical version.
Matthijs Kooijman [Tue, 6 Oct 2009 08:50:01 +0000 (10:50 +0200)]
Add note to the outline.
Matthijs Kooijman [Tue, 6 Oct 2009 08:44:37 +0000 (10:44 +0200)]
Reduce randomization in horizontal lines.
Matthijs Kooijman [Tue, 6 Oct 2009 08:36:49 +0000 (10:36 +0200)]
Use a dotted lines to separate context in a transformation.
Matthijs Kooijman [Mon, 5 Oct 2009 12:19:39 +0000 (14:19 +0200)]
Put "VHDL" in small caps everywhere.
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.
Matthijs Kooijman [Mon, 5 Oct 2009 12:15:42 +0000 (14:15 +0200)]
Vertically center the register output port.
Matthijs Kooijman [Mon, 5 Oct 2009 11:32:27 +0000 (13:32 +0200)]
Add a "sel" point for the selector to the multiplexers.
Matthijs Kooijman [Mon, 5 Oct 2009 11:31:54 +0000 (13:31 +0200)]
Make multiplexers a bit smaller.
Matthijs Kooijman [Mon, 5 Oct 2009 10:20:24 +0000 (12:20 +0200)]
Add a "definition" float.
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.