a modal/duality modality

modalduality.org End-of-Life Notice

modalduality.org is no longer active.

modalduality.org should theoretically remain operational for a few years, but might unexpectedly crash and go down permanently at any time: if you want to keep some of the code (including that for this website), it is all available at git.modalduality.org.

Accordingly, users of the mail server at mail.modalduality.org should immediately download all of the mail they wish to keep.

Feel free to modify, distribute, and rehost any of my work.