search

andreinaku / SpyType

MIT License
0 stars 0 forks source link

Improve Maude glb operation #35

Closed andreinaku closed 3 months ago

andreinaku commented 3 months ago

updated in bcbaf763bda93b9e0df0a79d2f899be45ff6a507 need tests

andreinaku commented 2 months ago

b4ec90a4a3e6db9a2ab242564fda2be7a469fdd6 - updated here, explained in #36