@bluelightning32
dang

SyilumiLunari that link is for version 8.18. Oddly I don't see a Windows download for version 8.19, even though 8.20 is the current release for Linux.

From the git commits, it looks like they're preparing the 8.19 Windows release. Maybe check back in a month?

bluelightning32 i installed coq for this mod twice though i even saw it on the uh control panel when i went to uninstall it after i gave up

i used this one from the releases on the coq github github.com/coq/platform/releases/download/2023.11.0/Coq-Platform-release-2023.11.0-version.8.18.2023.11-Windows-x86_64.exe

SyilumiLunari likely your system does not have Coq version 8.19.0 or higher installed. This is required to run a server or a single player world with the mod installed.

To check, either look in the server-main.txt file for the error message, or click "Developer Mode" on the "Interface" tab in the settings, then try to load the single player world. In developer mode, it will show the error messages in the text box instead of the event messages.

If you just want to try the mod without installing Coq, you can try playing on the Lambda official server. You can find it in the multiplayer server listing. No one has played on the server for a while, so if you need creative mode, ping me on Discord and I'll grant it to you.

whenever i make a world with this mod in single player it just doesnt work gets stuck on "simple tools"

Aokuqre, what would the custom objects do?

The list of terms is not hardcoded, so you can create arbitrarily long pairs of items like (1, 2, 3, 4, 5 ...). However, I didn't include any function combinators in the dropped terms. Also you just get items that don't do much.

The server is literally invoking coqc on a background thread, which is a little slow. So trying to regularly invoke the functions to run machines in the game wouldn't work well. Running too many would lag the server, and even if only a couple were running, the time it takes them to finish is unpredictable. I could run coqc in coqide mode (it keeps running instead of exiting after compiling the file) and talk to it over a pipe. That would make it a little faster to run. However, that's a lot of work, and I don't know what one would use it for.

My plan was to build functions to solve puzzles and unlock items. Building the functions would involve connecting blocks together with wires. That's what's shown in one of the screenshots. So one would get a lot of the automating machines with wires feel, but without the lag of constantly running the machine.

Another difficulty is that I discovered it's really hard to make innovative reward items that aren't just duplicates of what some other mod provides. It would be a lot easier to provide the basic crafting recipe in this mod, then make something like an expert modpack that changes the recipes from other mods such that one needs to use lambda to build the items. Does that sound interesting?

This is a cool idea. I just wish that

it were more in the spirit of lambda calculus

and allowed you to create custom objects based off of

the functions used in the construction of those objects.