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.