Home Discussions10 of 3743 messages view all » Another reason to like static types By Joel Shellman - May 26 - 1 author - 0 replies Shen 4.1 (required: to put the Lisp compiler in silent mode) By Mark Tarver - May 26 - 1 author - 0 replies Questions on kl By Joel Shellman - May 26 - 3 authors - 4 replies test cases for KL By Dmitry Cherkassov - May 24 - 4 authors - 9 replies xpost from /r/programming: A gamified tutorial on the sequent calculus By Dmitry Cherkassov - May 24 - 2 authors - 1 reply Porting to statically typed languages By Joel Shellman - May 21 - 4 authors - 9 replies the Book of Shen is complete By Mark Tarver - May 18 - 8 authors - 18 replies Some beginner's questions By Mark Tarver - May 14 - 5 authors - 18 replies Shen 4.0 By Mark Tarver - May 14 - 1 author - 0 replies Questions about macros By Dmitry Cherkassov - May 13 - 3 authors - 2 replies Report this group   XML       Send email to this group: qilang@googlegroups.com