blob: b08dfd071baa2cfb93d479d725ce82f2aff2faea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
+++
title = "Type Table"
date = "2022-08-08"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3d2b1d"]
forwardlinks = []
zettelid = "3d2b1e"
+++
Finally, this table consists of uninterpreted types that are used in the
formulas, which is probably not something that I will have to use, which
is good. This can therefore just be kept empty (although I don't really
know how to construct an empty table because they all need some kind of
default variable to be assigned to them).
|
