Computer science

Just links for now.

Related

• Curry-Howard-Lambeck isomorphism
• Differentiating datastructures
• Formal system <= The incredible proof machine game linked there.

---

• Typed holes
• Steady typing
• Content addressed
• Diffing

---

• Types in programming
• Reversible computation

---

• Structural editor
• Projectional editor

---

• Edit time immutability
• Annotated lambda diagram
• Annotated lambda diagram mockups

---

• Mechadense's wish programming language
• Computational geometry (Generalized gears)

Conal Elliotts works

• Category:Conal_Elliott