∃ cpli <: Ω

	for a markup version, visit: cpli.dev/www

⊢ i've yet to figure out if i'm an @στοιχεῖον (canonical thing),
a @menge (composed stuff), @جَبَرَ (objects with relations),
or @space (collection with limits)

∴ —
smtp	mail@cpli.dev     		pgp 	ACD21B55
irc 	cpli@libera.chat  		mxid	@cpli:fairydust.space
fedi	@cpli@chaos.social		osu 	#20,359 
— ∵

∀ @reader ∝ @time; i.e. if time is a concept to the reader(s)
or —heaven forbid—time AFFECTS the reader(s),
then please consider alternative-

creatures:
	—| pixeldreams.tokyo | oliverkwebb.github.io
	 | libdb.so          | coolgames.zip
	 | f.dog             | sodi.boo
	 | faultlore.com     | wingolog.org
	 | tromp.github.io   | strictlypositive.org

resources:
	-| stacks.math.columbia.edu | openlogicproject.org
	 | nlab.org                 | kerodon.net

you (the reader) may find this art may be far less cryptic and far
more influential, than my admittedly whelming existance.


	⊨ LASCIATE OGNE SPERANZA, VOI CH'INTRATE ⫤

formalization:
	-| 1lab.dev                  | unimath.github.io/agda-unimath
	 | unimath.github.io/UniMath | leanprover-community.github.io

languages:
	-| uiua.org | bruijn.marvinborner.de | unison-lang.org