Dalton LundyType Classes in CoqThanks to languages like Haskell, type classes have become a popular form of code modularlization. If one were to due a quick google…Sep 26, 2019Sep 26, 2019
Dalton LundyVerifying fold using Monoids in CoqIn Haskell, you define a Monoid as a class.Jun 24, 2019Jun 24, 2019
Dalton LundyPiezo Music: a How-To for Adruino NovicesHey, you. Yes, you. Do you like music? Do you like coding? Do you happen to have an Arduino, a breadboard, some wires, and a couple piezo…Nov 6, 2018Nov 6, 2018
Dalton LundyCategory Theory (without the math)Something that is abstract, is often explained through many different means. For example, we all agree the number four exists. However, we…Sep 20, 2018Sep 20, 2018
Dalton LundyImperative HaskellWhen most people think of Haskell, they think of pure functional programming. However, if it were to be “fully” functional, it would not be…Aug 15, 2018Aug 15, 2018