Dynamic IntInf should declare its int type as eqtype #76

Activity

1. sestoft commented on Nov 4, 2024

   

   sestoft

   on Nov 4, 2024 via email

   Collaborator

   More actions

   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: ***@***.***>

   ❤️React with ❤️1Reacted by Michael Norrish