/tarski

Tarski's world in Doodle

Primary LanguageScala

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!