Any questions regarding eq? In code, eq? checks whether two values point to the same object in memory (referential identity). In other functions, it's the check code itself, created earlier, not the function itself. (It's like a variable that participates as a command but is itself executed via spor. If used, it executes another command, such as eq? , but with the value entered by the user.)
For example:
[spot [is_true [x] [x]] eq? [x] [x]]
And more.
The fact that you found Sourceforge is one of the ways to download Lax, which is currently temporarily non-existent. You can download it using the button right at the beginning of the site 'Download Lax 6.0.6'. What you saw in README.md was a test version of Lax and did not apply to the current version at all. Lax currently uses MIT and you can download and edit Lax as you like and even suggest your changes through forks of the official repository. Lax is compiled very quickly using make and is not sold. Lax is simply provided in the form of only .c code, where you compile it yourself and is not immediately submitted only as a binary file, where you cannot open it like the same .c code and edit it.