Commit Graph

12 Commits (37d44e42ad77767113d3cd9c44384f63b64f1e76)

Author SHA1 Message Date
Mike Gerwitz 9c72d397d4 design/tpl: Introduce bibliography
This starts with the Hadamard Product as an example.  It also:

  - Configures BibLaTeX with biber.
  - Renames \undef, since BibLaTeX apparently defines it.
  - Redefines the citation and url colors, since they're bright and ugly.
2021-05-26 13:07:46 -04:00
Mike Gerwitz 9ad144d3d4 design/tpl (Classification System): Initial match definition
This is a bit raw; it needs some explanation and examples.
2021-05-20 10:45:44 -04:00
Mike Gerwitz 5fdaecf765 design/tpl: Adjust \footheight
KOMA-Script is complaining, because of the multi-line Copyright notice on
the first page.  This resolves that warning.
2021-05-19 10:05:36 -04:00
Mike Gerwitz 158e045762 design/tpl: geometry package for letterpaper
Was not working properly in vanilla TeX Live image.
2021-05-18 16:03:06 -04:00
Mike Gerwitz d65c061b29 design/tpl: configure script (for appendix)
It's not required; TPL will fall back when missing conf.tex.
2021-05-18 15:56:25 -04:00
Mike Gerwitz 80fd239d95 design/tpl: Letter paper
This is what we'll usually be printing on, after all.
2021-05-18 15:06:35 -04:00
Mike Gerwitz 63b502b7df design/tpl: Add ccicons for Copyright line 2021-05-12 10:37:20 -04:00
Mike Gerwitz 3cb2726737 desgin/tpl: Appendices begin on a new page 2021-05-11 16:50:23 -04:00
Mike Gerwitz 9d9535a1b8 design/tpl: Introduce \Classify mathop
This will be used as an IR of sorts to eliminate the XML, which will be far
too verbose to use in proofs.  It also allows us to attach behavior to the
operator, which will end up defining two values for @as and @yields.
2021-05-11 16:37:08 -04:00
Mike Gerwitz 02335f9a4a design/tpl: Clear copyright on Index pages
Apparently index page output uses a different even/odd determination than
the normal article page output.
2021-05-11 11:31:27 -04:00
Mike Gerwitz c371d12a02 design/tpl: Remove glossary
This is an unnecessary feature to maintain right now.  I will include
symbols at the very beginning of the index, which is common in mathematics
texts, and may will add a table of common symbols in the future.
2021-05-10 14:28:37 -04:00
Mike Gerwitz bd454f7a7c design/tpl: The Tame Programming Language initial concept
There's a lot of change that's likely going to take place with this thing,
but it's a start.  The abstract summarizes the purpose of this---to formally
define TAME in terms of algebra, first-order logic, and [ZFC] set theory.

This came about while working on compiler changes and optimizations, since
it's difficult to ensure correctness (and discover further optimizations)
without being able to formally define the language.  The focus at the moment
is the classification system rewrite, which can be expressed in terms of
first order logic and set theory.

This commit contains essentially a POC with some carefully chosen
mathematical foundations (abstractions of which are subject to change) and a
basic representation of a subset of the classification system for scalars.
2021-05-10 13:46:49 -04:00