Sorry to anyone I confused by saying .uue when I meant .mmp, or misled by
referring to yamma's platform (JavaScript) rather than its programming
language (TypeScript).
Glauco made the excellent suggestion that I code a spec for this, and I am
in the process of writing it. We first discussed the possibility of
spinning off a unifier component from yamma at the end of 2022, I believe,
so I don't have any sense of urgency at all about wanting this api if you
are busy.
Best regards,
Antony
On Sun, Sep 28, 2025 at 12:12 PM Glauco <[email protected]> wrote:
> 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
> <https://groups.google.com/d/msgid/metamath/33412bc3-bde8-489a-a69b-ed6fa7f0b958n%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
--
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/CAJ48g%2BAzHxp2H-8VCJRojtb%3DGn3bRh191g8cvr2xEubkU-DUjw%40mail.gmail.com.
