conal/talk-2014-lambdajam-denotational-design
Talk material for LambdaJam 2014/2015 on denotational design
Show for * -> *
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Talk material for LambdaJam 2014/2015 on denotational design
Test HERMIT-based dictionary construction
My favorite quotes
Haskell Equational Reasoning Model-to-Implementation Tunnel