Commit Graph

3 Commits

Author SHA1 Message Date
ce8af4028d Introduce a procedure type 2024-12-20 16:16:16 +01:00
8b6bf571cb Type check pointer dereferencing 2024-12-20 16:16:16 +01:00
9651c57760 Initial commit 2024-12-20 16:16:16 +01:00