From 4c44c78be1bfafa67f048d1d74734bd5661f839e Mon Sep 17 00:00:00 2001 From: anonymous Date: Sun, 14 Aug 2022 18:42:26 +0200 Subject: [PATCH] init --- .editorconfig | 12 ++++++++++++ main.hs | 1 + 2 files changed, 13 insertions(+) create mode 100644 .editorconfig create mode 100644 main.hs diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..ebe51d3 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,12 @@ +# EditorConfig is awesome: https://EditorConfig.org + +# top-most EditorConfig file +root = true + +[*] +indent_style = space +indent_size = 2 +end_of_line = lf +charset = utf-8 +trim_trailing_whitespace = false +insert_final_newline = false \ No newline at end of file diff --git a/main.hs b/main.hs new file mode 100644 index 0000000..cfa89ae --- /dev/null +++ b/main.hs @@ -0,0 +1 @@ +-- x \ No newline at end of file