lambda

<p>This mod adds new crafting mechanics that manipulate lambda terms. The getting started guide is on <a href="https://github.com/bluelightning32/vs-lambda/blob/main/getting-started.md">github</a>.</p> <h2>Content added</h2> <ul> <li>Lambda tree - necessary to get destruction fluid. It can be used for decoration.</li> <li>Metal glue - used to repair tools. It takes half the metal to repair a tool as it does to build a new one. However, the required term item is tricky to figure out.</li> <li>Enhanced pan - drops 100% more copper and 200% more sphalerite nuggets</li> <li>Term items - can be combined and broken apart. Terms of the correct value are required in many recipes.</li> <li>Denatured terms - cook up your extra terms into these and eat them. They are also an ingredient for destruction fluid.</li> <li>Lambda tree sap - necessary ingredient for destruction fluid. Can either be obtained by putting logs in a barrel, or with the spile from A Culinary Artillery.</li> <li>Application jig - combines terms together using function application</li> <li>Destruction jig - breaks terms apart into smaller terms. Requires destruction fluid.</li> <li>Blue clay transformer - use this on a blue clay deposit to slow transform that block into fire clay, then spread to the neighboring blocks in the deposit.</li> <li>Charcoal pit sealant - painting the charcoal pit chamber walls with this produces up to 30% more charcoal (depending on how many walls are sealed)</li> </ul> <p>&nbsp;</p> <p>There are also many blocks for inscription crafting. However, they are currently only available in creative mode. Inscription crafting is much more difficult than the application jig and destruction jig. Please still try out inscription crafting. I'm looking for feedback on it. When you leave feedback, please also explain your related experience: no programming experience / programming experience with typical languages / functiona programming experience.</p> <h2>Requirements</h2> <p>To run this mod on a server (including in single player), one must have <a href="https://coq.inria.fr/download">Coq</a> installed. The client does not need Coq installed.</p>