I just had a course about functional programming and proof theory in Coq. It's super fun and super enlightening. If you are into that kind of thing, you should

I just had a course about functional programming and proof theory in Coq. It's super fun and super enlightening. If you are into that kind of thing, you should definitely give it a try!