Nov. 19, 2021 1 min read#maths #agda #haskell
aronwith1a.com - Functional Programming, Math and Riddles️
I would like to give a quick shout-out to Aron and his blog aronwith1a.com.
This has nothing to do with the fact that I get to use the tags haskell, maths and agda.
If you enjoy quality original content about Haskell, Maths, formal methods, or riddles, go check it out.
This is a post he wrote for Oxidizing Systems about Haskell.