Open L-as opened 1 year ago
Using singleton trick described before, needs GHC plugin
We will use https://github.com/L-as/singletons-ski/ probably. Can still be compatible with plugin-approach.
Using singleton trick described before, needs GHC plugin