Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
🤰
Every luxury has a deep price. Every indulgence, a cosmic cost. #proposition1321
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022).
Pinned Loading
-
-
lythuyethinhthai
lythuyethinhthai PublicType theory (mostly non-technical) introduction in Vietnamese.
-
-
hedyorg/hedy
hedyorg/hedy PublicHedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…
-
typst/typst
typst/typst PublicA new markup-based typesetting system that is powerful and easy to learn.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.