Hi Antony, I'm a bit busy, but if you have the time to write the spec of the API, it would be helpful.
Just a couple of unit tests in any language would probably be enough for us to understand the goal. BR Glauco -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/33412bc3-bde8-489a-a69b-ed6fa7f0b958n%40googlegroups.com.
