Differences
This shows you the differences between two versions of the page.
c:a-formulation-of-the-simple-theory-of-types [2024/02/16 23:20] – created - external edit 127.0.0.1 | c:a-formulation-of-the-simple-theory-of-types [2024/02/18 20:18] (current) – ↷ Page name changed from c:a-formulation-of-the-simple-theory-of-types to c:a_formulation_of_the_simple_theory_of_types charles |
---|