[<<][softarch][>>][..]
Fri Feb 23 20:36:48 CET 2018

equational reasoning

There is this thing about functional programming an equational
reasoning that allows some processes to be delegated to unconscious
pattern matching.  I find this especially prominent when refactoring.

Essentially, filling in the gaps in a proof.  E.g. doing Agda.




[Reply][About]
[<<][softarch][>>][..]