Files
Terra/common
dfsek 3777fda641 Add 2-argument higher-order type and move kinds to their own package
I don't think that we will have higher-order types with more than 2 parameters, so I only made K and K2
2025-12-29 16:07:36 -07:00
..
2025-12-28 22:27:08 -07:00
2025-12-28 20:54:16 -07:00