Joshua Potter
|
4dc9e0fab1
|
Alternative commands, BSTs, RDF.
|
2024-07-30 06:25:23 -06:00 |
Joshua Potter
|
9acf6ca60e
|
Beta-equality and dialetheism.
|
2024-07-18 20:13:52 -06:00 |
Joshua Potter
|
42fc08e4c1
|
Lambda calculus, hashing, financing.
|
2024-06-29 09:59:48 -06:00 |
Joshua Potter
|
b9b680585e
|
beta-normal forms and ARSs.
|
2024-06-22 08:50:51 -06:00 |
Joshua Potter
|
50ec869da9
|
Hashing, relations, VCs.
|
2024-06-21 19:29:45 -06:00 |
Joshua Potter
|
a73c219b53
|
Notes on alpha-conversion and beta-reduction.
|
2024-06-15 12:20:06 -06:00 |
Joshua Potter
|
6c9e34e192
|
Expand notes on function categories.
|
2024-06-15 09:38:37 -06:00 |
Joshua Potter
|
044b58e0c6
|
Condition code registers.
|
2024-06-09 07:58:36 -06:00 |