[<<][softarch][>>][..]Fri Feb 23 20:36:48 CET 2018
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][>>][..]