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