 rhiannon morris
|
756fc60030
|
wip
|
2023-07-16 22:17:21 +02:00 |
|
rhiannon morris
|
30fbb40399
|
bitwise visibilities
|
2023-06-24 14:35:59 +02:00 |
|
rhiannon morris
|
124637c946
|
add SnocVect.select
|
2023-06-24 14:28:56 +02:00 |
|
rhiannon morris
|
33abbf659e
|
remove stray comment
|
2023-06-24 14:28:56 +02:00 |
|
rhiannon morris
|
326db52204
|
more nat bitwise ops
|
2023-06-24 14:28:52 +02:00 |
|
rhiannon morris
|
ddfbca7fcc
|
(n-ary) coprod
|
2023-06-24 14:28:48 +02:00 |
|
rhiannon morris
|
aca953c518
|
wip maybe.quox
|
2023-06-23 18:32:17 +02:00 |
|
rhiannon morris
|
b61ace9c7d
|
some bitwise ops corresponding to OPE ops
|
2023-06-23 18:32:17 +02:00 |
|
rhiannon morris
|
9e702dd03d
|
switch syntax to codb
|
2023-06-23 18:32:17 +02:00 |
|
rhiannon morris
|
92870fe716
|
split and extend Quox.Thin
|
2023-06-23 18:32:17 +02:00 |
|
rhiannon morris
|
a7673f901f
|
add Quox.Thin
|
2023-06-23 18:32:17 +02:00 |
|
rhiannon morris
|
5580f90e8d
|
add egtbs to bib
|
2023-06-23 18:32:17 +02:00 |