Skip to content

spamegg1/tarski

Repository files navigation

Tarski's world

world

Attempting to recreate Barwise and Etchemendy's Tarski's world in Doodle's Reactor using Scala 3.

They use 3D objects (like cube, tetrahedron, dodecahedron etc.) but I'm going with 2D as in Susanna Epp's Discrete Math book. The image above is taken from there.

Info

This is a Scala-cli project. With Scala 3.5.0 and above, you can simply run scala compile . and scala test ..

Work in progress

Stay tuned!

About

Tarski's world

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages