[<<][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][>>][..]