Shen 7 is up
58 views
Skip to first unread message
Mark Tarver
Oct 25, 2012, 6:52:59 AM10/25/12
to Qilang
Shen 7 is available in source and in CLisp/Windows. This version
corrects some bugs found by Joel as well as a couple found by myself.
The significance of the upgrade to a whole number is that Shen 7
contains a command to disable the Shen type system.
I guess you will wonder what is the point of that. Actually it is a
significant step to making Shen a powerful metalanguage for specifying
other languages, because it allows the operator to reduce the sequent
calculus engine to a *shell" which can be freely programmed with type
theories inconsistent with that of Shen. Of that more anon.
Mark
corrects some bugs found by Joel as well as a couple found by myself.
The significance of the upgrade to a whole number is that Shen 7
contains a command to disable the Shen type system.
I guess you will wonder what is the point of that. Actually it is a
significant step to making Shen a powerful metalanguage for specifying
other languages, because it allows the operator to reduce the sequent
calculus engine to a *shell" which can be freely programmed with type
theories inconsistent with that of Shen. Of that more anon.
Mark
Reply all
Reply to author
Forward
0 new messages