3 Home

rhi edited this page 2024-03-31 08:54:06 -04:00

Table of Contents

• misc notes

*quox noise*

• if you don't feel like entering all those weird symbols, or you don't have an easy way to do so, an ascii syntax is also available
• if you know what an xcompose is, these compose sequences might be useful

misc notes

• agda w-type stuff