documentation

2026-03-16 20:04:30 +01:00
parent a7257a3492
commit 7c3b780ae9
14 changed files with 2424 additions and 583 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@

 # DrRacket autosave files
 *.rkt~
+*.scrbl~
 *.rkt.bak
 \#*.rkt#
 \#*.rkt#*#