Skip to content

Commit ec3496f

Browse files
Update README.adoc
1 parent d2d2a4f commit ec3496f

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

README.adoc

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,8 @@ It should not be placed between Kategoria/Katagoria and TypeLL as a required dep
9494

9595
See `docs/ARCHITECTURE.adoc`, `docs/PIPELINE.adoc`, and `ROADMAP.adoc` for full detail.
9696

97+
== Calibration Calculi.
98+
9799
TypeFix Zero is a proposed standalone calibration calculus for the type-theory pipeline.
98100

99101
It is not a production language and not a replacement for TypeLL. Its role is to mark the lower bound of the estate’s “typed but Turing-complete” design space:

0 commit comments

Comments
 (0)