Dynamic IntInf should declare its `int` type as `eqtype`

[mn200]

I see there's an eq function in the signature, but without being an equality type, there are lots of use-cases ruled out.

[sestoft]

Thanks Michael! Moscow ML is not being much maintained these years, with me being department head at the IT University of Copenhagen for 8 years, and Ken being deputy department head at Copenhagen University also for considerable time (and the Ministry of Research vigorously creating artificial trouble for all of us here). After 1 January 2025 I will be free to do technical stuff again, but there are many excellent proposals for how I should spend my time, so Moscow ML may suffer for a bit longer. Peter On 28 Oct 2024, at 00.42, Michael Norrish ***@***.***> wrote: I see there's an eq function in the signature, but without being an equality type, there are lots of use-cases ruled out. — Reply to this email directly, view it on GitHub<#76>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AAFSQEECJEPU7YZ5TYC4RSTZ5V24ZAVCNFSM6AAAAABQWI6X3OVHI2DSMVQWIX3LMV43ASLTON2WKOZSGYYTMOJVG4YDQNI>. You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>