Issues - rhi/quox - gec git gec git

New Issue

check the #[main] function is the right type

#37 by rhi was closed 2024-04-14 15:15:35 -04:00

η for boxes

#27 by rhi was closed 2023-09-17 13:11:27 -04:00

the function part of a w value probably needs to be ω

#24 by rhi was closed 2024-04-20 21:45:15 -04:00

make A → B a subsingleton if A is empty

#23 by rhi was closed 2023-09-17 14:11:44 -04:00

η for pairs

#22 by rhi was closed 2023-09-19 17:22:34 -04:00

crude but effective stratification

#7 by rhi was closed 2023-07-22 15:28:02 -04:00

default quantity

#6 by rhi was closed 2023-07-21 11:58:19 -04:00