Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <mike.gerwitz@ryansg.com>2021-04-30 09:16:01 -0400
committerMike Gerwitz <mike.gerwitz@ryansg.com>2021-05-10 13:46:49 -0400
commitbd454f7a7ce8154e7eed8976bfb7e11d1c8e86be (patch)
tree2455d0b2860578c13dfc14765505305a493063b3 /.gitlab-ci.yml
parent685549f06bff7d2a7b3f09ba030b015672308407 (diff)
downloadtame-bd454f7a7ce8154e7eed8976bfb7e11d1c8e86be.tar.gz
tame-bd454f7a7ce8154e7eed8976bfb7e11d1c8e86be.tar.bz2
tame-bd454f7a7ce8154e7eed8976bfb7e11d1c8e86be.zip
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.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml13
1 files changed, 13 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 41cde86..b0ac9f2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -27,12 +27,25 @@ build:
- tamer/target
expire_in: 30 min
+build:doc:tpl:
+ image: $BUILD_IMAGE_TEXLIVE
+ stage: build
+ script:
+ - cd design/tpl/
+ - make
+ artifacts:
+ paths:
+ - design/tpl/tpl.pdf
+ expire_in: 30 min
+
pages:
stage: deploy
script:
- mkdir -p public/doc
- mv doc/tame.html/* doc/tame.pdf doc/tame.info public/
- mv tamer/target/doc public/tamer/
+ - mkdir -p public/design
+ - mv design/tpl/tpl.pdf public/design/
artifacts:
paths:
- public/