Implement sample with working preprocessor (Stage 1 + 2)

2025-08-11 12:49:44 +02:00
parent 0b6073b5bb
commit 9e4141fc96
9 changed files with 653 additions and 22 deletions
--- a/example.mlc
+++ b/example.mlc
@@ -0,0 +1,5 @@
+#with language.toml
+variable:=-3; c := (a+b- 3) * 23 + variable; d := c - a;Natural : Number (n) := {n >= 0};faculty : Natural (n) -> Natural := if n = 0 then 1 else faculty (n-1) * n end;
+String Natural (n) := {Character * n};hello_word -> String := "Hello World!";
+first_letter -> Character := 'a';
+wrong -> Logic := false;date -> String := "#date_now";