Open goldfirere opened 9 years ago
For example, when I say :k (Any :: TYPE Lifted), I get a complaint. It works with 'Lifted.
:k (Any :: TYPE Lifted)
'Lifted
For example, when I say
:k (Any :: TYPE Lifted)
, I get a complaint. It works with'Lifted
.