MadMode

Code |

All posts published during .

• Rosetta Stone: Taking propositions-as-types to the next level | 2020-05-02 | logic | fp | programming | idris | rchain

  I read CS papers by turning notation into (@idrislang) code. Slow going, but the only way I really grok. e.g....

  ---