Revision as of 16:06, 17 March 2025 edit Hairy Dude (talk \| contribs) Extended confirmed users 91,197 edits →Proof automation: absurd pattern Tags: Mobile edit Mobile web edit Advanced mobile edit ← Previous edit		Revision as of 16:07, 17 March 2025 edit undo Hairy Dude (talk \| contribs) Extended confirmed users 91,197 edits →Unicode: capitalisation Tags: Mobile edit Mobile web edit Advanced mobile edit Next edit →
Line 116: === Unicode === One of the more notable features of Agda is a heavy reliance on [[Unicode]] in program source code. The standard ~~emacs~~Emacs mode uses shortcuts for input, such as <code>\Sigma</code> for Σ. === Backends ===

Agda (programming language): Difference between revisions