⊥

This article is not detailed enough and needs to be expanded. Please help us by adding some more information.

⊥(pronounced true) is an very simple esolang created by User:Yayimhere which is based on HAHAHA. it was created because of a wonder from the creator if axioms could be "anything"

syntax

a program is filled with sections that begin with [, end with ], where each section has comma-separated strings(no qoutes). then the last string will be considered the "program", and all other strings are "axioms". and so, the program will be interpreted and ran, using the axioms. if the program does not follow the [...] format it will give this error:

ERROR. wrong program type {}

examples

quine:

ERROR. wrong program type {}