2026-01-16 - 2026-07-16

Overview

4 Active Pull Requests
0 Active Issues
Excluding merges, 0 authors have pushed 0 commits to main and 87 commits to all branches. On main, 0 files have changed and there have been 0 additions and 0 deletions.

4 Releases published by 1 user

Published 0.2.2 2026-07-13 10:58:50 +02:00

Published 0.2.1 2026-07-07 11:45:41 +02:00

Published 0.2.0 2026-07-06 19:13:13 +02:00

Published 0.1.0 2026-06-30 10:26:49 +02:00

4 Pull requests merged by 1 user

Merged #5 Minor fixes 2026-07-13 10:58:51 +02:00

Merged #4 Add prelude 2026-07-07 11:45:42 +02:00

Merged #3 Type additions and renames 2026-07-06 19:13:13 +02:00

Merged #1 Initial release 2026-06-30 10:26:52 +02:00