You are about to join Cat Girl Program Analysis — the internet's most rigorous and adorable community for type theory, lambda calculus, categorical semantics, and the formal study of neko-flavored computation. Whether you're here to discuss Hindley–Milner inference, debate dependent types, or just post your favourite catgirl maid function derivations — you're in the right place.
Registration is free and only takes a moment. Please read the forum rules below before creating your account. By registering, you confirm you are at least 13 years old and agree to abide by our community guidelines. Nya~! ≽^•⩊•^≼
1.1Treat all members with respect, regardless of their type-theoretic alignment. Flame wars over Haskell vs. Agda are permitted but must remain constructive.
1.2No personal attacks, harassment, or doxxing. Violations will result in immediate permaban, no nya exceptions.
1.3Stay on topic. CGPA subforums are specifically designated — do not post dependent type questions in the Monad Lounge unless they involve purring.
1.4No spam, no self-promotion without moderator approval, and absolutely no advertising for non-cat-girl-related services.
2.1All proofs posted must be well-typed. Untyped lambda expressions must be clearly labelled as such.
2.2LaTeX rendering is supported via [math] BBCode. Please use it for any formal notation — ASCII approximations of Π-types are not acceptable.
2.3Code blocks are mandatory for all code. Inline code without formatting will be edited by moderators with a stern nya~.
2.4Citing primary sources (papers, specifications, RFCs) is strongly encouraged. Saying "I heard on Reddit that monads are burritos" is a warnable offence.
3.1Cat girl avatar/sig art is warmly welcomed. All images must be SFW and credited to the original artist.
3.2The "nya~" suffix is optional but strongly culturally encouraged in casual threads. The Formal Proofs subforum maintains strict professional norms.
3.3Neko maid discourse belongs in the designated #maidcafe channel. Unsolicited maid arguments in type theory threads will be merged and locked.
4.1One account per person. Multi-accounting is grounds for immediate ban of all associated accounts.
4.2Your username must not impersonate staff, real persons, or well-known academic figures (e.g. you may not register as "PerMartin-Löf").
4.3Account sharing is prohibited. Your account is your responsibility — keep your credentials secure.
4.4Inactive accounts (no login for 2 years) may be purged. Your posts will be attributed to a "Deleted Neko" placeholder.
5.1Moderator decisions are final. You may appeal via the Ban Appeal Board within 14 days.
5.2Do not "mod-shop" by reposting removed content. Each repost multiplies your ban duration by 2×.
5.3The admin team reserves the right to update these rules at any time. Major changes will be announced in the Announcements subforum.
6.1We store your email address solely for account verification and password recovery. It is never sold or shared.
6.2Your IP address is logged for abuse prevention purposes in accordance with our Privacy Policy.
Last updated: 2026-01-15 by ~NyaAdmin // v4.2.1