Reintroducing meta tokens

2025-08-25 07:12:22 +02:00
parent 015de5dc0a
commit 42fa5affb5
4 changed files with 64 additions and 8 deletions
--- a/example.mlc
+++ b/example.mlc
@@ -1,6 +1,3 @@
-#with mathlib.mlc
 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"