Make sorting of (sub)conference names in menus case insensitive
e.g., to fix the issue where “miniKanren” appears at the end of the list.
Submitted by Elmer van Chastelet on 27 August 2025 at 12:06
Log in to post comments
e.g., to fix the issue where “miniKanren” appears at the end of the list.
Submitted by Elmer van Chastelet on 27 August 2025 at 12:06
Log in to post comments