| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-02-20 | Removed typechecking | Marvin Borner | |
| Well, it's unnecessary complexity :D I might add checking again in the future, but you'll need to typecheck in your head for now. | |||
| 2022-10-16 | Started typing | Marvin Borner | |
| not like i've been typing for a long time lol | |||