Initial commit

2026-05-10 13:00:01 +02:00
commit 4aa83d38e6
3 changed files with 93 additions and 0 deletions
@@ -0,0 +1,3 @@
+# let-assert
+
+A let construct with assertions, i.e. when an assertion is not satisfied, one can prematurely exit a function with a given return value.