OrgHighlightCodeAuto.lagda.org 212 B
Org mode
- A list item!
- Another1
module OrgHighlightCodeAuto where
data Bool : Set where
Some prose. Some more code.
true : Bool false : Bool