kfl
Dynamic IntInf should declare its `int` type as `eqtype`
I see there's an eq function in the signature, but without being an equality type, there are lots of use-cases ruled out.
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 GitHubhttps://github.com/kfl/mosml/issues/76, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AAFSQEECJEPU7YZ5TYC4RSTZ5V24ZAVCNFSM6AAAAABQWI6X3OVHI2DSMVQWIX3LMV43ASLTON2WKOZSGYYTMOJVG4YDQNI. You are receiving this because you are subscribed to this thread.Message ID: @.***>
