From 8def55357436b0f6a7265af9e11663d95246e7eb Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Thu, 30 Jul 2026 10:15:11 +0200 Subject: chore: initialize repo (design + research docs kept local) --- .gitignore | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f46b222 --- /dev/null +++ b/.gitignore @@ -0,0 +1,13 @@ +# Preparatory/design/research material — kept local, NOT published: +# the design spec, brainstorming notes, and copyrighted normative-source scans. +docs/ + +# OCaml / dune build artifacts +_build/ +*.install +*.merlin + +# OS / editor cruft +.DS_Store +*~ +*.swp -- cgit v1.3