Ascetic Slug
Ascetic Slug
Posts
Publications
About me
Contact
Light
Dark
Automatic
Haskell
Using dependent types to write proofs in Haskell
We all know that we can use Haskell to write functional programs that compute stuff. But can we also use Haskell to write mathematical proofs? Yes!
Jan Mas Rovira
Jun 2, 2021
Logic
,
Haskell
Ascii fractals
Getting hypnotized by the shape of a fractal is certainly fascinating. In this blog, we will write a Haskell program that creates fractals from a base pattern. The recursive nature of the fractals allow a simple implementation in Haskell.
Jan Mas Rovira
Feb 20, 2018
Haskell
Cite
×