2025-07-16 - 2026-07-16
Overview
Excluding merges,
1 author
has pushed
1 commit
to main and
118 commits
to all branches.
On main,
3 files
have changed
and there have been
34 additions
and
0 deletions.
4 Releases published by 1 user
Published
0.2.2
Published
0.2.1
Published
0.2.0
Published
0.1.0
4 Pull requests merged by 1 user
Merged
#5 Minor fixes
Merged
#4 Add prelude
Merged
#3 Type additions and renames
Merged
#1 Initial release