Issues - rhi/quox - gec git gec git

rhi/quox

New issue

integrate binders in def

#46 opened 2024-05-10 13:57:31 -04:00 by rhi

add debug logging to the rest of the compiler

#41 opened 2024-04-14 06:13:41 -04:00 by rhi

algebraic ornaments

#33 opened 2023-11-22 15:50:55 -05:00 by rhi

((((A ∷ ★⁰) ∷ ★⁰) ∷ ★⁰) ∷ ★⁰) (add a cleanup step before pretty printing)

#21 opened 2023-07-22 15:20:41 -04:00 by rhi

inductive types (W)

#20 opened 2023-07-21 11:55:23 -04:00 by rhi

implicits

#18 opened 2023-07-17 12:17:19 -04:00 by rhi

codata

#17 opened 2023-06-15 13:15:28 -04:00 by rhi

something for irrelevance

#16 opened 2023-06-12 16:23:56 -04:00 by rhi

there are SO MANY missing tests

#15 opened 2023-06-11 13:24:29 -04:00 by rhi

do something about computeElimType

#13 opened 2023-06-11 13:18:33 -04:00 by rhi

quotient types

#10 opened 2023-05-31 11:15:23 -04:00 by rhi

avoid unfolding definitions in eq checking when possible

#9 opened 2023-05-30 12:13:23 -04:00 by rhi

infix operators

#4 opened 2023-04-19 14:09:26 -04:00 by rhi

holes 🕳

#3 opened 2023-04-19 14:08:15 -04:00 by rhi

add :pet command

#1 opened 2022-03-06 19:31:03 -05:00 by rhi