search

andreinaku / SpyType

MIT License
0 stars 0 forks source link

parse substitutions from maude constraints #34

Closed andreinaku closed 3 months ago

andreinaku commented 3 months ago

input example:

((T1 <= int + float) /\ T2 <= complex)[(T?0 |-> int + float), T?1 |-> complex]
andreinaku commented 3 months ago

a6d32dec30d8c29653103692b5cca6fd237749ce