Haskell for Imperative Programmers #40 - Termination Proofs

[@alexanderskusnov5119]

Did you mean 'else func' instead of 'else f' at the beginning?

[@philipphagenlocher]

Whoops... Yes, I did. Thank you for spotting that!

[@avrilianbriliansyah5290]

I somehow really like watching videos that make me feel stupid. Thank you for the video

[@philipphagenlocher]

Hehe, no problem! :P Thanks for watching!

[@Fanaro]

The "for now, that is everything" end-phrase is really catchy and unexpectedly pleasant, after hearing it a lot of times.

[@FelipeBalbi]

I got a hint of Calculus of Constructions and was wondering if you were building it up towards Coq (or another Proof assistant). Nice video

[@philipphagenlocher]

It's not going to be Coq, but another proof assistant that takes some inspiration from Haskell in its design!

[@EidosGaming]

Wonderful content, keep going 😀

[@janat234]

Can you do web dev videos about effects or aeson.

[@Fanaro]

Please use dark background for future videos, it would be nice as a change, and it would help in not blinding the viewer, though I agree this can be a personal choice.