Computer science: Difference between revisions
Jump to navigation
Jump to search
m →Related |
m →Related |
||
| Line 25: | Line 25: | ||
---- | ---- | ||
* '''[[Mechadense's wish programming language]]''' | * '''[[Mechadense's wish programming language]]''' | ||
* [[Computational geometry]] | * [[Computational geometry]] ([[Generalized gears]]) | ||
=== Conal Elliotts works === | === Conal Elliotts works === | ||
* [[:Category:Conal_Elliott]] | * [[: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.