Philip Wadler: (Programming Languages) in Agda = Programming (Languages in Agda)

2022-7-21 21:01

[视频作者] Grokking

[视频时长] 44:35

[视频类型] 野生技能协会

https://www.youtube.com/watch?v=R49VgxNLmsY

回复编辑 ⇧顶 ⇩沉

影音视频访问链接

以下链接为影音视频“Philip Wadler: (Programming Languages) in Agda = Programming (Languages in Agda)”在线访问地址，点击链接就可以访问查看啦

www.bilibili.com

说两句