Adam BrohlFormally Verified Monads in IdrisOne of the main appeals of programming in Haskell is the ability to express algorithms with Monads, which allow the programmer to abstract…Apr 27Apr 27
Adam BrohlCustom Operators in HaskellUnlike many other languages, Haskell supports the use of custom user-defined operators. Which can be used to overload operators and…Jan 16Jan 16
Adam BrohlCreating Locally Hosted Haskell Web GUIs With threepenny-guiThreepenny GUI is a library for Haskell that can be used to create basic GUI applications with Haskell that use the web browser; some…Mar 5, 2023Mar 5, 2023
Adam BrohlSimulating Prisoner’s Dilemma Strategies with HaskellThere are several different strategies that one could use to approach a prisoner’s dilemma-type situation, here are four of the many that…Feb 24, 2023Feb 24, 2023