Transofrmation

2025-08-12 19:04:09 +02:00
parent 9e4141fc96
commit ddba3423df
3 changed files with 15 additions and 3 deletions
--- a/example.mlc
+++ b/example.mlc
@@ -1,5 +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";
+user -> String := "#user"