Add Gleam (#67)

2026-08-02 12:06:09 +00:00 · 2021-08-03 18:56:12 +01:00
parent 4fbbcf2e6c
commit c988d89031
39 changed files with 442 additions and 64 deletions
@@ -0,0 +1,22 @@
+{erl_opts, [debug_info]}.
+{deps, [{verl, "1.0.0"}]}.
+{xref_checks, [
+    deprecated_function_calls,
+    exports_not_used,
+    locals_not_used,
+    undefined_function_calls
+]}.
+{dialyzer, [
+    {warnings, [
+        error_handling,
+        underspecs,
+        unknown,
+        unmatched_returns
+    ]}
+]}.
+{profiles, [
+    {test, [
+        {cover_enabled, true},
+        {cover_opts, [verbose]}
+    ]}
+]}.