rhi/quox
rhi
/
quox
1
0
Fork 0
Code Issues 14 Pull Requests Releases Wiki Activity

Labels Milestones

New Issue
7 Open 7 Closed
Label
Clear labels
bug
duplicate
help wanted
info needed
invalid
language
performance
ux
wontfix
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
rhi
algebraic ornaments
language
#33 opened 2023-11-22 15:50:55 -05:00 by rhi
𝕎
language
2
#20 opened 2023-07-21 11:55:23 -04:00 by rhi
implicits
language
#18 opened 2023-07-17 12:17:19 -04:00 by rhi
codata
language
#17 opened 2023-06-15 13:15:28 -04:00 by rhi
something for irrelevance
language
1
#16 opened 2023-06-12 16:23:56 -04:00 by rhi
qits, maybe
language
#10 opened 2023-05-31 11:15:23 -04:00 by rhi
infix operators
language
#4 opened 2023-04-19 14:09:26 -04:00 by rhi