search

Drup / dowsing

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
ISC License
35 stars 4 forks source link

Boucle unification #6

Closed clef-men closed 3 years ago

clef-men commented 3 years ago

L'unification boucle encore avec, par exemple, le type « 'a -> a -> 'a ».

Drup commented 3 years ago

Hopefully, It should not be the case so much anymore!