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

algebraic ornaments

#33 opened 2023-11-22 15:50:55 -05: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

quotient types

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

infix operators

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