KProxy | |
1 (Data Constructor) | Crypto.Lol.Prelude, Crypto.Lol |
2 (Type/Class) | Crypto.Lol.Prelude, Crypto.Lol |
Kq1 | |
1 (Type/Class) | Crypto.Proto.Lol.Kq1 |
2 (Data Constructor) | Crypto.Proto.Lol.Kq1 |
kqlist | Crypto.Proto.Lol.KqProduct |
KqProduct | |
1 (Type/Class) | Crypto.Proto.Lol.KqProduct |
2 (Data Constructor) | Crypto.Proto.Lol.KqProduct |
Kron | Crypto.Lol.Cyclotomic.Tensor |