module OrgHighlightCode where
data Bool : Set where
Some prose. Some more code.
true : Bool false : Bool