ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
“Sum what formally proven”A joke as elegant as this series. Thank you so much
Enabling notifications because I don't want to miss the Proof Assistant video :-) Nice work, Philipp. Cheers
That's the spirit! ;D
Same, I’ve been waiting for this
Great you got an sponsor!
Great content king! Glad to see you again
Man that's why Haskell is harder than python
How does this not apply to python?
haskell is a pain in the ass, thats what
@@VinyZikss you did not answer my question
@@VinyZikss agreed
![ILLSLICK - KILLSHOT REMIX [FULL VERSION]](http://i.ytimg.com/vi/RIK8RrqIAzE/mqdefault.jpg)
“Sum what formally proven”
A joke as elegant as this series. Thank you so much
Enabling notifications because I don't want to miss the Proof Assistant video :-) Nice work, Philipp. Cheers
That's the spirit! ;D
Same, I’ve been waiting for this
Great you got an sponsor!
Great content king! Glad to see you again
Man that's why Haskell is harder than python
How does this not apply to python?
haskell is a pain in the ass, thats what
@@VinyZikss you did not answer my question
@@VinyZikss agreed