Assistant to the Proof Assistant


  1. NP-complete: how hard is that climb?
  2. Differential Semantics
  3. A Better SQL
  4. Why I'm Getting a PhD
  5. Faster JavaScript through Category Theory
  6. Splitting jQuery in Two, A Proposal
  7. A Natural Transformation in JavaScript
  8. Faster Javascript Through Category Theory

← Home