Nov. 19, 2021
#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.
1 min read