说明：Vi opdaterer vores readmeløbende，sådu kan altid komme herind og se om der erændringer:)
她的vores节目介绍视频
Viersådan设置了程序编程的新程序，der er kun nogle在skéle的skskændres了，而sådet bliver lidt nemmere的程序则在了。
Viharændrethele prgrammet siden du sidst har kiggetpådet。 <weixin_42160425> 上传 | 大小：73kb
说明：你好呀 :waving_hand:
我是John，我对PL和Type Systems相关的东西感兴趣。
我最喜欢的一些作品：
Lambdulus是用于交互式学习λ微积分的工具。 它可以在任何现代浏览器中在线运行，并使您能够体验λ微积分作为一种编程语言。
具有Damas-Hindley-Milner类型推断的简单编程语言
let
zero = ( \ n -> (n == 0 ))
dec = ( \ n -> n - 1 )
in let rec
<weixin_42146274> 上传 | 大小：30kb
