2026-05-10 - 2026-06-10

Overview

8 Active Pull Requests
0 Active Issues
Excluding merges, 1 author has pushed 1 commit to main and 202 commits to all branches. On main, 2 files have changed and there have been 7 additions and 0 deletions.

1 Release published by 1 user

Published v0.0.1-proto 2026-05-19 08:34:51 +00:00

7 Pull requests merged by 1 user

Merged #7 Usage documentation 2026-06-05 10:29:42 +00:00

Merged #6 Basic type checker 2026-06-05 09:31:54 +00:00

Merged #5 Improve syntax and types 2026-06-05 09:20:56 +00:00

Merged #4 Python parser 2026-05-26 08:28:42 +00:00

Merged #3 Revise syntax 2026-05-22 08:01:00 +00:00

Merged #2 Improve testing framework 2026-05-20 11:17:01 +00:00

Merged #1 Syntax prototype and basic parser 2026-05-19 08:34:07 +00:00

1 Pull request proposed by 1 user

Proposed #8 WIP: Subtyping 2026-06-08 07:13:28 +00:00