1 files changed, 3 insertions, 0 deletions
diff --git a/Misc.dcl b/Misc.dcl
new file mode 100644
index 0000000..acd5117
--- /dev/null
+++ b/Misc.dcl
@@ -0,0 +1,3 @@
+definition module ABC.Misc
+
+abortn :: String -> a