Skip to content

functional programming

1 post with the tag “functional programming”

Feelin' Functional

For a fair amount of time, I have been interested in functional programming, especially because of Lean, theorem proving, and formal languages in general.

But I did not really get into it for a long time, and the reason was pretty simple.