2023-11-01T06:33:08Z - 2024-05-01T06:33:08Z

Period: 6 months

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

Overview

6 Active Pull Requests

8 Active Issues

6
Merged Pull Requests 0
Proposed Pull Requests 6
Closed Issues 2
New Issues

Excluding merges, 1 author has pushed 112 commits to 🐉 and 112 commits to all branches. On 🐉, 106 files have changed and there have been 7629 additions and 3964 deletions.

6 Pull requests merged by 1 user

Merged #43 coercion regularity 2024-04-18 16:18:20 -04:00

Merged #42 check type of #[main] 2024-04-14 15:15:35 -04:00

Merged #40 debug logging 2024-04-14 06:13:24 -04:00

Merged #36 let 2023-12-04 17:41:07 -05:00

Merged #35 allow fst, snd, case to be application heads 2023-12-04 12:48:43 -05:00

Merged #29 erasure and also baby's first scheme backend 2023-11-03 13:06:42 -04:00

6 Issues closed from 1 user

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

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

Closed #37 check the #[main] function is the right type 2024-04-14 15:15:35 -04:00

Closed #38 type checker loop in pushCoe 2024-02-24 10:05:24 -05:00

Closed #34 allow "fst e"/"snd e" as an application head 2023-12-04 12:48:43 -05:00

Closed #32 add pair η to Whnf.Coercion 2023-11-03 13:15:31 -04:00

2 Issues created by 1 user

Opened #33 algebraic ornaments 2023-11-22 15:50:55 -05:00

Opened #41 add debug logging to the rest of the compiler 2024-04-14 06:13:41 -04:00

4 Unresolved Conversations

Open #20 inductive types (W) 2024-04-30 22:28:48 -04:00

Open #16 something for irrelevance 2024-04-30 20:45:48 -04:00

Open #10 quotient types 2024-04-30 20:23:57 -04:00

Open #21 ((((A ∷ ★⁰) ∷ ★⁰) ∷ ★⁰) ∷ ★⁰) (add a cleanup step before pretty printing) 2023-12-05 06:37:34 -05:00