Create README.md

vagoff · Aug 29, 2015 · ebb02a5 · ebb02a5
commit ebb02a5
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,9 @@
+# rhaskell
+
+Very restricted Haskell (strict subset) for formally specifying semantics of programming languages.
+
+
+* no modules
+* no type classes
+* no **newtype**
+* fully monomorphic