Computer science: Difference between revisions
Jump to navigation
Jump to search
basic page |
m →Related |
||
| (One intermediate revision by the same user not shown) | |||
| Line 25: | Line 25: | ||
---- | ---- | ||
* '''[[Mechadense's wish programming language]]''' | * '''[[Mechadense's wish programming language]]''' | ||
* [[Computational geometry]] ([[Generalized gears]]) | |||
=== Conal Elliotts works === | |||
* [[:Category:Conal_Elliott]] | |||
Latest revision as of 17:30, 18 July 2026
Just links for now.
Related
- Curry-Howard-Lambeck isomorphism
- Differentiating datastructures
- Formal system <= The incredible proof machine game linked there.