Matthijs Kooijman [Wed, 9 Dec 2009 09:41:52 +0000 (10:41 +0100)]
Fix / remove some final todos.
Matthijs Kooijman [Wed, 9 Dec 2009 09:34:48 +0000 (10:34 +0100)]
Add reference.
Matthijs Kooijman [Wed, 9 Dec 2009 09:31:39 +0000 (10:31 +0100)]
Some fixes to the prototype chapter.
Matthijs Kooijman [Wed, 9 Dec 2009 09:26:56 +0000 (10:26 +0100)]
Slightly improve the determinism proof section.
Matthijs Kooijman [Wed, 9 Dec 2009 09:24:53 +0000 (10:24 +0100)]
Actually add bibtex entries for added references.
Matthijs Kooijman [Wed, 9 Dec 2009 09:24:39 +0000 (10:24 +0100)]
Improve layout and add citation.
Matthijs Kooijman [Wed, 9 Dec 2009 09:21:09 +0000 (10:21 +0100)]
Add a section on proving determinism.
Matthijs Kooijman [Wed, 9 Dec 2009 09:20:05 +0000 (10:20 +0100)]
Use the logical and from the roman font.
The sans font doesn't have it.
Matthijs Kooijman [Wed, 9 Dec 2009 09:03:49 +0000 (10:03 +0100)]
Add the ->> symbol to the lambda prettyprinter.
Matthijs Kooijman [Wed, 9 Dec 2009 09:02:36 +0000 (10:02 +0100)]
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.
Matthijs Kooijman [Tue, 8 Dec 2009 21:29:10 +0000 (22:29 +0100)]
Fix spelling as suggested by aspell.
Matthijs Kooijman [Tue, 8 Dec 2009 20:45:27 +0000 (21:45 +0100)]
Fix references.
Matthijs Kooijman [Tue, 8 Dec 2009 20:13:34 +0000 (21:13 +0100)]
Reduce with of some code to make a better fit.
Matthijs Kooijman [Tue, 8 Dec 2009 20:04:41 +0000 (21:04 +0100)]
Fix typo in buffer name.
Matthijs Kooijman [Tue, 8 Dec 2009 20:03:46 +0000 (21:03 +0100)]
Add a section on prototype implementation (with the git url).
Matthijs Kooijman [Tue, 8 Dec 2009 19:47:42 +0000 (20:47 +0100)]
Add pronounciation of Cλash.
Matthijs Kooijman [Tue, 8 Dec 2009 19:46:46 +0000 (20:46 +0100)]
Add abstract.
Matthijs Kooijman [Tue, 8 Dec 2009 19:21:38 +0000 (20:21 +0100)]
Say University of Twente instead Twente University.
Matthijs Kooijman [Tue, 8 Dec 2009 17:18:07 +0000 (18:18 +0100)]
Say something about using top level function instead of binder.
Matthijs Kooijman [Tue, 8 Dec 2009 17:15:56 +0000 (18:15 +0100)]
Say Core instead of core.
Matthijs Kooijman [Tue, 8 Dec 2009 17:10:57 +0000 (18:10 +0100)]
Fix references to the inverter examples.
Matthijs Kooijman [Tue, 8 Dec 2009 17:00:41 +0000 (18:00 +0100)]
Put CaseInv and PatternInv in the same float.
Matthijs Kooijman [Tue, 8 Dec 2009 16:16:16 +0000 (17:16 +0100)]
Add generated VHDL to the hardware description chapter.
Matthijs Kooijman [Tue, 8 Dec 2009 15:35:53 +0000 (16:35 +0100)]
Put spaces in example and definition labels.
Matthijs Kooijman [Tue, 8 Dec 2009 15:33:37 +0000 (16:33 +0100)]
Put some function names inside \hs.
Matthijs Kooijman [Tue, 8 Dec 2009 15:11:02 +0000 (16:11 +0100)]
Don't use haddock style comments.
This will probably only confuse readers.
Matthijs Kooijman [Tue, 8 Dec 2009 15:03:06 +0000 (16:03 +0100)]
Add two intermezzo's and shuffle some floats around.
One intermezzo about reading Cλash and one about null, head and tail.
Matthijs Kooijman [Tue, 8 Dec 2009 14:01:04 +0000 (15:01 +0100)]
Fix the return value simplification transformation.
Matthijs Kooijman [Tue, 8 Dec 2009 10:40:36 +0000 (11:40 +0100)]
Suppres headers on the final (empty) page.
Matthijs Kooijman [Tue, 8 Dec 2009 10:22:29 +0000 (11:22 +0100)]
Only show three levels of contents.
Matthijs Kooijman [Tue, 8 Dec 2009 10:18:03 +0000 (11:18 +0100)]
Replace a starttyping with starthaskell.
Matthijs Kooijman [Tue, 8 Dec 2009 10:15:28 +0000 (11:15 +0100)]
Prevent page breaks directly before boxed typings.
Matthijs Kooijman [Mon, 7 Dec 2009 21:07:40 +0000 (22:07 +0100)]
Restart numbering of footnotes on every page.
Matthijs Kooijman [Mon, 7 Dec 2009 20:52:47 +0000 (21:52 +0100)]
Add boxes around two figures.
Matthijs Kooijman [Mon, 7 Dec 2009 20:51:42 +0000 (21:51 +0100)]
Unify examples, figures and definitions.
They now all use the same numbering and all have their captions at the
top.
Matthijs Kooijman [Mon, 7 Dec 2009 20:42:30 +0000 (21:42 +0100)]
Prevent spaces after citations from being gobbled.
Matthijs Kooijman [Mon, 7 Dec 2009 20:42:10 +0000 (21:42 +0100)]
Fix some more header stuff.
Matthijs Kooijman [Mon, 7 Dec 2009 20:41:35 +0000 (21:41 +0100)]
Misc fixes from own review.
Matthijs Kooijman [Mon, 7 Dec 2009 20:05:56 +0000 (21:05 +0100)]
Add a VHDL typing style (and some other fixes).
This was an attempt to get line numbering on the VHDL files, but
apparently line numbering is broken in MkIV. Oh well, at least it added
a nice box around the VHDL.
Matthijs Kooijman [Mon, 7 Dec 2009 20:05:29 +0000 (21:05 +0100)]
Fix the font of footnotes.
It now has a lambda!
Matthijs Kooijman [Mon, 7 Dec 2009 19:58:12 +0000 (20:58 +0100)]
Set up headers, footers and page numbers.
Matthijs Kooijman [Mon, 7 Dec 2009 19:08:39 +0000 (20:08 +0100)]
Improve the layout of intermezzos.
In particular, don't put spacing above and below it, which looks ugly.
Matthijs Kooijman [Mon, 7 Dec 2009 14:25:27 +0000 (15:25 +0100)]
Move a sidenote.
Matthijs Kooijman [Mon, 7 Dec 2009 14:24:21 +0000 (15:24 +0100)]
Disable display of TODO's.
Matthijs Kooijman [Mon, 7 Dec 2009 14:19:48 +0000 (15:19 +0100)]
Use η/β-expansion instead of η/β-abstraction.
Matthijs Kooijman [Mon, 7 Dec 2009 14:17:42 +0000 (15:17 +0100)]
Add Scrutinee binder removal.
Matthijs Kooijman [Mon, 7 Dec 2009 13:51:24 +0000 (14:51 +0100)]
Move some examples around.
Matthijs Kooijman [Mon, 7 Dec 2009 13:39:27 +0000 (14:39 +0100)]
Actually refer to the intended normal form definition.
Matthijs Kooijman [Mon, 7 Dec 2009 13:38:16 +0000 (14:38 +0100)]
Some more fixed resulting from Jan's comments.
Matthijs Kooijman [Mon, 7 Dec 2009 13:17:24 +0000 (14:17 +0100)]
Always use a lowercase letter after a colon.
Matthijs Kooijman [Mon, 7 Dec 2009 13:13:09 +0000 (14:13 +0100)]
Improve some wordings.
Matthijs Kooijman [Mon, 7 Dec 2009 13:07:24 +0000 (14:07 +0100)]
Add sitenote about arguments vs. inputs.
Matthijs Kooijman [Mon, 7 Dec 2009 12:44:02 +0000 (13:44 +0100)]
Fix a reference.
Matthijs Kooijman [Mon, 7 Dec 2009 10:53:09 +0000 (11:53 +0100)]
Add intermezzo on wild binders.
Matthijs Kooijman [Mon, 7 Dec 2009 10:48:18 +0000 (11:48 +0100)]
Improve the titlepage.
Matthijs Kooijman [Mon, 7 Dec 2009 10:43:31 +0000 (11:43 +0100)]
Add an intermezzo about the id function.
Matthijs Kooijman [Mon, 7 Dec 2009 10:42:38 +0000 (11:42 +0100)]
Add some content to the case normalization section.
Matthijs Kooijman [Mon, 7 Dec 2009 10:11:21 +0000 (11:11 +0100)]
Remove deprecated paragraph.
Matthijs Kooijman [Mon, 7 Dec 2009 10:04:42 +0000 (11:04 +0100)]
Remove TODO (links were made non-bold a few commits back).
Matthijs Kooijman [Mon, 7 Dec 2009 10:03:24 +0000 (11:03 +0100)]
Move references to the larger margin.
Matthijs Kooijman [Mon, 7 Dec 2009 09:57:23 +0000 (10:57 +0100)]
Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace.
The \autoinsertnextspace macro is not always reliable and was removed in
a recent ConTeXt version.
Matthijs Kooijman [Mon, 7 Dec 2009 09:51:43 +0000 (10:51 +0100)]
Remove TODO.
Matthijs Kooijman [Mon, 7 Dec 2009 09:50:59 +0000 (10:50 +0100)]
Say something about not using simplified core.
Matthijs Kooijman [Mon, 7 Dec 2009 09:42:34 +0000 (10:42 +0100)]
Remove some TODOs.
Matthijs Kooijman [Mon, 7 Dec 2009 09:40:27 +0000 (10:40 +0100)]
Add a section on simulation.
Matthijs Kooijman [Mon, 7 Dec 2009 09:18:17 +0000 (10:18 +0100)]
Use normal style zeroes instead of using the sans font.
Matthijs Kooijman [Mon, 7 Dec 2009 08:38:11 +0000 (09:38 +0100)]
Don't suggest messing with the clock input.
Instead, use a register's write enable port.
Matthijs Kooijman [Mon, 7 Dec 2009 07:18:08 +0000 (08:18 +0100)]
Move the Template Haskell intermezzo a bit down.
Matthijs Kooijman [Mon, 7 Dec 2009 07:17:25 +0000 (08:17 +0100)]
Invert the intermezzo offset.
This looks way better for left margin intermezzo's and doesn't seem to
matter much on right ones.
Matthijs Kooijman [Mon, 7 Dec 2009 07:16:25 +0000 (08:16 +0100)]
Set up doublesided margins and pagenumbering.
Matthijs Kooijman [Mon, 7 Dec 2009 00:16:27 +0000 (01:16 +0100)]
Put one more 0 in another font.
Matthijs Kooijman [Mon, 7 Dec 2009 00:10:28 +0000 (01:10 +0100)]
Fix things following from comments from Marco and Sabih.
Matthijs Kooijman [Sun, 6 Dec 2009 20:17:28 +0000 (21:17 +0100)]
Add reference about Core's operational semantics.
Matthijs Kooijman [Sun, 6 Dec 2009 20:08:39 +0000 (21:08 +0100)]
Fix a lot of things following from Jan's comments.
Matthijs Kooijman [Sun, 6 Dec 2009 18:30:10 +0000 (19:30 +0100)]
Improve strikethrough a bit.
Matthijs Kooijman [Sun, 6 Dec 2009 17:23:08 +0000 (18:23 +0100)]
Remove debug print from pret-lam.
Matthijs Kooijman [Sun, 6 Dec 2009 17:13:12 +0000 (18:13 +0100)]
Limit luatex to 500M of virtual memory.
Luatex has the tendency to bring down the entire system when it goes
into some infinite loop.
Matthijs Kooijman [Sun, 6 Dec 2009 17:11:53 +0000 (18:11 +0100)]
Make a var local (again) in pret-lam.
Matthijs Kooijman [Sun, 6 Dec 2009 16:18:42 +0000 (17:18 +0100)]
Prettyprint comments in italic.
Matthijs Kooijman [Sun, 6 Dec 2009 15:55:28 +0000 (16:55 +0100)]
Add strikethrough to the lambda prettyprinter.
Matthijs Kooijman [Sun, 6 Dec 2009 15:55:01 +0000 (16:55 +0100)]
Add TODO.
Matthijs Kooijman [Sat, 5 Dec 2009 23:32:21 +0000 (00:32 +0100)]
Various small fixes following from Bert's commentaar.
Matthijs Kooijman [Sat, 5 Dec 2009 21:05:46 +0000 (22:05 +0100)]
Add backmatter commands.
Matthijs Kooijman [Sat, 5 Dec 2009 21:03:25 +0000 (22:03 +0100)]
Remove unused defref.
Matthijs Kooijman [Sat, 5 Dec 2009 20:52:02 +0000 (21:52 +0100)]
Remove a TODO.
Matthijs Kooijman [Sat, 5 Dec 2009 20:49:56 +0000 (21:49 +0100)]
Replace statement with expression everywhere.
Matthijs Kooijman [Sat, 5 Dec 2009 20:43:17 +0000 (21:43 +0100)]
Add another reference.
Matthijs Kooijman [Sat, 5 Dec 2009 20:24:41 +0000 (21:24 +0100)]
Add some references to the context chapter.
Matthijs Kooijman [Sat, 5 Dec 2009 20:22:56 +0000 (21:22 +0100)]
Make sure the list of references is numbered.
Matthijs Kooijman [Sat, 5 Dec 2009 17:21:33 +0000 (18:21 +0100)]
Fix todo's in the introduction chapter.
Matthijs Kooijman [Sat, 5 Dec 2009 17:19:06 +0000 (18:19 +0100)]
Allow passing a once option to scons.
Matthijs Kooijman [Fri, 4 Dec 2009 22:04:54 +0000 (23:04 +0100)]
Setup bibtex.
Matthijs Kooijman [Fri, 4 Dec 2009 21:56:15 +0000 (22:56 +0100)]
Add section on EDSLs.
Matthijs Kooijman [Fri, 4 Dec 2009 21:52:12 +0000 (22:52 +0100)]
Note that we've not considered EDSLs and TH.
Matthijs Kooijman [Fri, 4 Dec 2009 21:07:39 +0000 (22:07 +0100)]
Finalize section on state in prototype chapter.
Matthijs Kooijman [Fri, 4 Dec 2009 19:05:42 +0000 (20:05 +0100)]
Partially update state annotations section in the prototype chapter.
This is an unfinished commit, to store intermediate progress.
Matthijs Kooijman [Fri, 4 Dec 2009 15:54:15 +0000 (16:54 +0100)]
Require an automatic subscript to start with a number.
Matthijs Kooijman [Fri, 4 Dec 2009 13:08:43 +0000 (14:08 +0100)]
Remove todo.
Matthijs Kooijman [Fri, 4 Dec 2009 13:03:24 +0000 (14:03 +0100)]
Improve graph representation section a bit.
Matthijs Kooijman [Fri, 4 Dec 2009 12:53:26 +0000 (13:53 +0100)]
Remove todo.