https://f.leal.sh/ https://f.leal.sh/about/ https://f.leal.sh/posts/ https://f.leal.sh/posts/haskell-functors-and-applicatives/ 2021-08-21 https://f.leal.sh/posts/page/1/ https://f.leal.sh/posts/resources-i-quote/ 2025-02-01 https://f.leal.sh/posts/rocq-proof-assistant/ 2025-01-11 https://f.leal.sh/posts/suffix-array/ 2023-06-12 https://f.leal.sh/projects/ https://f.leal.sh/projects/ditto-lang/ https://f.leal.sh/projects/movie-list/ https://f.leal.sh/projects/octagonal-constraint-solver/ https://f.leal.sh/projects/sha3-lean/ https://f.leal.sh/projects/sha3-rs/ https://f.leal.sh/tags/ https://f.leal.sh/tags/comp-prog/ https://f.leal.sh/tags/functors/ https://f.leal.sh/tags/haskell/ https://f.leal.sh/tags/list/ https://f.leal.sh/tags/overview/ https://f.leal.sh/tags/suffix-array/ https://f.leal.sh/tags/theorem-proving/