ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
Did you mean 'else func' instead of 'else f' at the beginning?
Whoops... Yes, I did. Thank you for spotting that!
I somehow really like watching videos that make me feel stupid. Thank you for the video
Hehe, no problem! :P Thanks for watching!
The "for now, that is everything" end-phrase is really catchy and unexpectedly pleasant, after hearing it a lot of times.
Wonderful content, keep going 😀
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
It's not going to be Coq, but another proof assistant that takes some inspiration from Haskell in its design!
Can you do web dev videos about effects or aeson.
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.
![ILLSLICK - KILLSHOT REMIX [FULL VERSION]](http://i.ytimg.com/vi/RIK8RrqIAzE/mqdefault.jpg)
Did you mean 'else func' instead of 'else f' at the beginning?
Whoops... Yes, I did. Thank you for spotting that!
I somehow really like watching videos that make me feel stupid. Thank you for the video
Hehe, no problem! :P Thanks for watching!
The "for now, that is everything" end-phrase is really catchy and unexpectedly pleasant, after hearing it a lot of times.
Wonderful content, keep going 😀
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
It's not going to be Coq, but another proof assistant that takes some inspiration from Haskell in its design!
Can you do web dev videos about effects or aeson.
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.