advent-of-haskell-dd
advent-of-haskell-dd copied to clipboard
bolt12
Day 9 of Advent of Haskell - Denotational Design
Results
2
advent-of-haskell-dd issues
Sort by
recently updated
recently updated
newest added
trafficstars
In the proof of the functor composition law for Stack, the actual stack `s` disappears on the last two lines.
@smatting kindly took the time to write a document with some questions, which I link [here](https://gist.github.com/smatting/17df76579300314c43f4bbceaefaf552). First of all thanks for the questions! > You can get `Functor` implementation for...
