tester, branch master [no description] Concatenation operator for lists 2026-05-18T18:34:43+00:00 Roman Smrž roman.smrz@seznam.cz 2026-05-18T18:34:43+00:00 a40b7da1ab4028bba53f9768b7a58a7c619a052d Changelog: Added `++` operator to concatenate lists 
Changelog: Added `++` operator to concatenate lists
More generic unification in for statement 2026-05-17T20:20:07+00:00 Roman Smrž roman.smrz@seznam.cz 2026-05-16T14:06:39+00:00 9e1d65b41b0f5435859794682880c93767d1dc44 






Concat builtin function
2026-05-17T19:54:23+00:00

Roman Smrž
roman.smrz@seznam.cz

2026-04-25T11:46:40+00:00

d41cc2a1cdf9fc7a9d5781779363b9bb3eb82c00

Changelog: Added `concat` function for lists





Changelog: Added `concat` function for lists







Function arguments unification
2026-05-17T19:54:23+00:00

Roman Smrž
roman.smrz@seznam.cz

2026-05-16T10:23:41+00:00

0d2b55b41a8f38264fd510efd4c1306239c94d17












Separate hide/expose expressions for primitive and function types
2026-05-16T12:56:30+00:00

Roman Smrž
roman.smrz@seznam.cz

2026-05-16T11:47:36+00:00

c71d109610ea6f299df09d2b794b326fb70f9ed0












Resolve DynVariable in eval function
2026-05-09T19:32:38+00:00

Roman Smrž
roman.smrz@seznam.cz

2026-05-09T19:00:33+00:00

26fe6ead0205ea49bae55203197412816335cccc












Unification of function and forall types
2026-05-09T19:32:38+00:00

Roman Smrž
roman.smrz@seznam.cz

2026-05-08T07:31:49+00:00

5307cfd9de91533ec69e07cafa4d7c0d11481279












Arbitrary type expression as function arguments
2026-05-02T18:54:00+00:00

Roman Smrž
roman.smrz@seznam.cz

2026-05-01T18:25:20+00:00

0905fe68591a3dad83f87d5ac805b674c0b88c76












Parsing distinction for single-word and function-call terms
2026-05-01T08:54:24+00:00

Roman Smrž
roman.smrz@seznam.cz

2026-05-01T08:02:50+00:00

62b65e16f5ef4e59dcfbdc10ae2b3cd419d79d7a












Keep type info in HideType to support non-primitive types
2026-04-25T13:22:59+00:00

Roman Smrž
roman.smrz@seznam.cz

2026-04-25T11:10:13+00:00

a84c4722a3774bb64e3e3616c16264d09c991378