2025-03-28 - 2025-06-28

Overview

1 active pull request
0 active issues
Excluding merges, 2 authors have pushed 29 commits to main and 32 commits to all branches. On main, 47 files have changed and there have been 9032 additions and 2421 deletions.

1 pull request merged by 1 user

Merged #1 type fixes and bindings + notes on subtyping 2025-06-25 18:37:30 +00:00