Unison Doc Example

This is an example blog post.

    • We can have lists
      • That are
      • nested
  • And its great
  1. Even lists
  2. That are numbered

striketrhrough

Inline monospace font.

Assets

KaTeX

Mermaid

Image

Unison asset

Video

Code

You can evaluate Unison code blocks:

use Text ++
greet : Text -> Text
greet name = "Hello " ++ name
greet "World"
"Hello World"

You can inlude the source code of a Unison definition in your codebase:

List.map : (a ->{𝕖} b) -> [a] ->{𝕖} [b]
List.map f =
  use List :+
  go acc = cases
    a +: as -> go (acc :+ f a) as
    []      -> acc
  go []

And you can include code blocks in a specific language. This is Ruby:

def greet name 
  puts "Hello " + name
end

Callouts

Callouts are blocks that break up the main text.

🎉
This is a callout.

Asides

Asides go on the side of a text.

Text after the aside is back in the main text.

Tables

Header 1Header 2
row1row2

And more!

See The docs on Docs for more details.