Pulse Contributors Code frequency Recent commits

2024-12-06T06:55:50Z - 2025-12-06T06:55:50Z

Period: 1 year

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

Overview

0 active pull requests

6 active issues

0
Merged pull requests 0
Proposed pull requests 4
Closed issues 2
New issues

Excluding merges, 1 author has pushed 28 commits to main and 33 commits to all branches. On main, 18 files have changed and there have been 2385 additions and 1999 deletions.

4 issues closed from 1 user

Closed #17 Improve performance 2024-12-08 21:43:17 -08:00

Closed #16 Nested Sections not quite working 2024-12-08 19:38:31 -08:00

Closed #9 Better pretty printing 2024-12-08 12:42:38 -08:00

Closed #1 Sections 2024-12-06 13:51:16 -08:00

2 issues created by 1 user

Opened #18 Migrate to happy/alex 2025-01-06 15:11:14 -08:00

Opened #19 Some bugs/enhancements in/for the REPL 2025-01-24 14:58:38 -08:00

3 unresolved conversations

Open #6 Proper sigma types 2025-01-24 01:05:41 -08:00

Open #14 Infix (misfix?) operators 2024-12-13 22:12:24 -08:00

Open #2 Type inference 2024-12-10 23:39:18 -08:00