Initial commit erasing history

2024-06-01 00:49:52 +02:00 · 2024-06-01 00:49:52 +02:00 · 7d8751ffe8
commit 7d8751ffe8
parent e04f86fd9a
712 changed files with 7348 additions and 0 deletions
--- a/roles/smlnj/tasks/main_lin.yml
+++ b/roles/smlnj/tasks/main_lin.yml
@ -0,0 +1,13 @@
+- name: Install SML/NJ
+  apt:
+    name: smlnj
+    state: latest
+- name: Install SML/NJ
+  apt:
+    name: smlnj
+    state: latest
+- name: Install Emacs extension for SML
+  apt:
+    name: elpa-sml-mode
+    state: latest
+