4 Commits

Author	SHA1	Message	Date
Eugen Wissner	41c957e906	Type check if and while conditions	2024-12-20 16:16:16 +01:00
Eugen Wissner	ce8af4028d	Introduce a procedure type	2024-12-20 16:16:16 +01:00
Eugen Wissner	ad697f1957	Run tests and check expectations in 2 loops	2024-12-20 16:16:16 +01:00
Eugen Wissner	9651c57760	Initial commit	2024-12-20 16:16:16 +01:00