It woulda looked like this,

if I hadda not had to manually tweak it.
This commit is contained in:
Simon Forman
2022-03-23 13:06:32 -07:00
parent 188f6e42c7
commit a3b3b840e1
+6 -6
View File
@@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
## !- # !-
Basis Function Combinator Basis Function Combinator
@@ -8,22 +8,22 @@ Basis Function Combinator
Gentzen diagram. Gentzen diagram.
### Definition ## Definition
if not basis. if not basis.
### Derivation ## Derivation
if not basis. if not basis.
### Source ## Source
if basis if basis
### Discussion ## Discussion
Lorem ipsum. Lorem ipsum.
### Crosslinks ## Crosslinks
Lorem ipsum. Lorem ipsum.