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

On 8 September 2025 at 09:50 Elmer van Chastelet closed this issue.

Log in to post comments