The Lambda Calculatoris an interactive, graphical application to help students of natural language semantics practice derivations in the typed lambda calculus. It is designed for both students and teachers, with modules for online classroom instruction, graded homework assignments, and self-guided practice...
最近突然想把以前用scala写的一个叫做lamcalcj的东西翻出来玩一玩,然后想想9102年已经完全是web的时代了,javascript都成为21st century assembly language了(雾 所以去一个造web版的lambda calculus的计算器、REPL那岂不是能获得双倍的快乐了? 然后就开始弄起来了,花了2天时间目前已经用scalajs把lamcalcj给cross com...