Théo Laurent
Results
2
comments of
Théo Laurent
It seems nowadays you can also use strings. ``` Elpi Program tutorial " kind person type. type mallory, bob, alice person. ". ```
Just ran into this bug. Trying to minimize it gave me `Generalizing the types of these mutually recursive definitions requires an incompatible set of universes for f and g` for...