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