/explore
|
You are here 
|
izbicki.me | ||
| | | | |
diego.codes
Data Scientist. I like music, keyboards and Legos. Proficient in pop culture references and xkcd. |
|
| | | | | ||
| | | | |
learnyouahaskell.com
[AI summary] The user provided a detailed explanation of monads in Haskell, covering the Maybe, List, and IO monads, along with their laws (left identity, right identity, and associativity). The explanation included examples and analogies to clarify the concepts. The user also included a humorous and chaotic text at the end, possibly unrelated to the main content. |
|
| | | | | ||
| | | | |
kndrck.co
Prelude State monads, introduced to me during the data61 functional programming course was one of my most memorable encounter with a monad. This was mainly because things only started to clicked and made a tiny bit of sense after a couple of weeks of frustration. This article is my attempt to explain the underlying mechanics of the State Monad to try and relief the frustration of whomever who was in my position. |
|
| | | | | ||
| | | | |
adam.chlipala.net
[AI summary] This text provides an in-depth exploration of advanced Coq proof techniques, focusing on manual proofs, recursion, and induction principles for complex data structures. It covers topics like nested inductive types, custom induction principles, and the design philosophy behind Coq's approach to proof automation. The text includes detailed examples of proof scripts, such as manual proofs for discrimination and injectivity of constructors, and discusses the use of tactics like discriminate and injection. It also touches on the implementation of functions like pred and the role of hints in improving proof readability and automation. |
|
| | | |||
