Pulse Contributors Code frequency Recent commits

2024-04-15 - 2025-04-15

Period: 1 year

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

3 active pull requests

4 active issues

2
Merged pull requests 1
Proposed pull request 3
Closed issues 2
New issues

Excluding merges, 1 author has pushed 18 commits to 🐉 and 27 commits to all branches. On 🐉, 51 files have changed and there have been 3021 additions and 628 deletions.

2 pull requests merged by 1 user

Merged #47 remove Tighten stuff 2024-07-18 17:59:08 +02:00

Merged #43 coercion regularity 2024-04-18 22:18:20 +02:00

1 pull request proposed by 1 user

Proposed #44 WIP: quantity polymorphism 2024-05-06 21:07:14 +02:00

3 issues closed from 1 user

Closed #45 maybe remove all the tighten junk 2024-07-18 17:59:09 +02:00

Closed #24 the function part of a w value probably needs to be ω 2024-04-21 03:45:15 +02:00

Closed #26 full equality check in coercion boundary 2024-04-18 22:18:20 +02:00

2 issues created by 1 user

Opened #45 maybe remove all the tighten junk 2024-05-08 16:22:34 +02:00

Opened #46 integrate binders in def 2024-05-10 19:57:31 +02:00

3 unresolved conversations

Open #10 quotient types 2024-05-23 01:37:00 +02:00

Open #20 inductive types (W) 2024-05-01 04:28:48 +02:00

Open #16 something for irrelevance 2024-05-01 02:45:48 +02:00