Commit 2023-02-06 07:35 aa15ae0f
View on Github →feat: port Order.Heyting.Hom (#2077) @[protect_proj] is currently unimplemented. Other than that, dangerous instances fixed in the standard way and not much else interesting going on here.
feat: port Order.Heyting.Hom (#2077) @[protect_proj] is currently unimplemented. Other than that, dangerous instances fixed in the standard way and not much else interesting going on here.