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.