There is no content on this page. Nothing valued is here. What is here is dangerous and repulsive to us. This site is a blog. The content in this site records various things I have learnt in type theory how I tried to rebel in a transphobic environment is a compendium of failure. The owner of this site is a high school student a person who was once set high expectation on failed to commit a suicide a proud transgender woman gay with ADHD a coward. Readers are expected to have basic understanding on Martin-Löf type theory teach me category theory and topology give me a hug practice gaslighting and self-denial.
Navigate by the exit button the generated source code not intended to be read by human links on the top right.