webbureaucrat, 1 year ago I'm still trying to learn #Idris. https://webbureaucrat.gitlab.io/articles/idris-fizzbuzz-part-i-monads-comments-assert-smaller/ #functional
I'm still trying to learn #Idris.
https://webbureaucrat.gitlab.io/articles/idris-fizzbuzz-part-i-monads-comments-assert-smaller/
#functional