A type theory with native support for Polynomial Functors.
active 2023-08-16 → 2024-12-14 (UTC)
Complete coverage26,433 / 26,433 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-20 (UTC)
Events
91
Pushes
18
Pull requests
9
Issues
7
Stars
29
Forks
3
Activity over time
Daily event counts in the loaded window
Line chart, 487 days from 2023-08-16 to 2024-12-14. Pushes: 18 total, peak 6 in a day. Pull requests: 9 total, peak 3 in a day. Issues: 7 total, peak 2 in a day. Comments: 18 total, peak 9 in a day. Stars: 29 total, peak 6 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
Recent activity
Latest issues, pull requests and releases
- Issue#6213377772024-01-15 20:47Pull request?
- Issue comment#61favonia2023-10-11 12:45Upgrade asai to 0.1
- Pull request#61favonia2023-10-08 14:38
- Pull request#60solomon-b2023-09-25 02:54
- Pull request#60solomon-b2023-09-05 06:31
- Issue comment#14olynch2023-09-04 18:36FFI + I/O + Exception Handling
- Issue comment#8solomon-b2023-09-04 17:55Basic Code Cleanup
- Issue#8solomon-b2023-09-04 17:55Basic Code Cleanup
- Issue comment#10solomon-b2023-09-04 17:51Inductive Types
- Issue comment#14solomon-b2023-09-04 17:48FFI + I/O + Exception Handling
- Pull request#56solomon-b2023-09-04 07:41
- Issue#59solomon-b2023-09-04 07:40Lambda parsing doesn't allow for no space between lambda and binder
- Issue comment#59solomon-b2023-09-04 07:40Lambda parsing doesn't allow for no space between lambda and binder
- Issue comment#59MonoidMusician2023-09-03 17:24Lambda parsing doesn't allow for no space between lambda and binder
- Pull request#54solomon-b2023-09-03 00:35
- Issue#59solomon-b2023-09-01 17:43Lambda parsing doesn't allow for no space between lambda and binder
- Issue comment#55solomon-b2023-09-01 17:32Finite Set elimination not computing fully when typechecking
- Issue comment#54favonia2023-09-01 16:24build: upgrade yuujinchou
- Issue#58solomon-b2023-09-01 02:13Type Hole De-Elaboration?
- Issue comment#54favonia2023-08-30 20:23build: upgrade yuujinchou
- Issue comment#54solomon-b2023-08-30 18:12build: upgrade yuujinchou
- Pull request#56solomon-b2023-08-30 06:26
- Issue comment#54solomon-b2023-08-30 04:44build: upgrade yuujinchou
- Issue comment#54favonia2023-08-30 04:40build: upgrade yuujinchou
- Issue comment#54solomon-b2023-08-30 04:37build: upgrade yuujinchou
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 29 stars here means stars gained during the window, not the repo's star count.