Issues - rhi/quox - gec git gec git

rhi/quox

New issue

integrate binders in def

#46 opened 2024-05-10 19:57:31 +02:00 by rhi

add debug logging to the rest of the compiler

#41 opened 2024-04-14 12:13:41 +02:00 by rhi

algebraic ornaments

#33 opened 2023-11-22 21:50:55 +01:00 by rhi

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

#21 opened 2023-07-22 21:20:41 +02:00 by rhi

inductive types (W)

#20 opened 2023-07-21 17:55:23 +02:00 by rhi

implicits

#18 opened 2023-07-17 18:17:19 +02:00 by rhi

codata

#17 opened 2023-06-15 19:15:28 +02:00 by rhi

something for irrelevance

#16 opened 2023-06-12 22:23:56 +02:00 by rhi

there are SO MANY missing tests

#15 opened 2023-06-11 19:24:29 +02:00 by rhi

do something about computeElimType

#13 opened 2023-06-11 19:18:33 +02:00 by rhi

quotient types

#10 opened 2023-05-31 17:15:23 +02:00 by rhi

avoid unfolding definitions in eq checking when possible

#9 opened 2023-05-30 18:13:23 +02:00 by rhi

infix operators

#4 opened 2023-04-19 20:09:26 +02:00 by rhi

holes 🕳

#3 opened 2023-04-19 20:08:15 +02:00 by rhi

add :pet command

#1 opened 2022-03-07 01:31:03 +01:00 by rhi