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

algebraic ornaments

#33 opened 2023-11-22 21:50:55 +01: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

quotient types

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

infix operators

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