First Post
Heading 1
-
item 1
-
item 2
!
some text
sometimes we quote
some more text
-- # Some Go code
func main() {
fmt.Printf("hello")
}
Some Lean code
Lean is a language
def add (x y: Nat): Nat := x + y
item 1
item 2 !
some text
sometimes we quote
some more text
-- # Some Go code
func main() {
fmt.Printf("hello")
}
Lean is a language
def add (x y: Nat): Nat := x + y