diff --git a/updatePlugins.xml b/updatePlugins.xml new file mode 100644 index 00000000..d2f09adc --- /dev/null +++ b/updatePlugins.xml @@ -0,0 +1,10 @@ + + + MPS Coderules Typechecking + Typechecking with Coderules (experimental) + + + MPS Core Types + Types for core MPS languages (experimental) + +