I’m working my way through “functional programming in Lean” and it’s pretty fun. Downside is that when I do it in the morning my brain is fried for the next two hours. It’s not hard to follow, just a lot of information to absorb. I’m hoping to make it through enough of it in the next three days for me to start advent of code with it on Sunday.
=> More informations about this toot | View the thread | More toots from jnkrtech@treehouse.systems
text/geminiThis content has been proxied by September (3851b).