expected

append : List(a) × List(a) → List(a)

Append two lists into a single list.

Loading doc.disco...
Running tests...
  f: OK
Loaded.
type P = ℕ × ℕ

P is a type of stuff.

f : ℕ → ℕ

f is a function.
Some more documentation.

No documentation found for 'x'.
This expression has multiple possible types.  Some examples:
~+~ : ℕ × ℕ → ℕ
~+~ : ℤ × ℤ → ℤ
~+~ : 𝔽 × 𝔽 → 𝔽
~+~ : ℚ × ℚ → ℚ
precedence level 7, left associative

The sum of two numbers, types, or graphs.

https://disco-lang.readthedocs.io/en/latest/introduction/arithmetic.html
https://disco-lang.readthedocs.io/en/latest/reference/addition.html

This expression has multiple possible types.  Some examples:
~+~ : ℕ × ℕ → ℕ
~+~ : ℤ × ℤ → ℤ
~+~ : 𝔽 × 𝔽 → 𝔽
~+~ : ℚ × ℚ → ℚ
precedence level 7, left associative

The sum of two numbers, types, or graphs.

https://disco-lang.readthedocs.io/en/latest/introduction/arithmetic.html
https://disco-lang.readthedocs.io/en/latest/reference/addition.html

~! : ℕ → ℕ
precedence level 14

n! computes the factorial of n, that is, 1 * 2 * ... * n.

https://disco-lang.readthedocs.io/en/latest/reference/factorial.html

~! : ℕ → ℕ
precedence level 14

n! computes the factorial of n, that is, 1 * 2 * ... * n.

https://disco-lang.readthedocs.io/en/latest/reference/factorial.html

not~ : Bool → Bool
Alternative syntax: ¬~
precedence level 15

Logical negation: not(T) = F and not(F) = T.

https://disco-lang.readthedocs.io/en/latest/reference/logic-ops.html
https://disco-lang.readthedocs.io/en/latest/reference/symbols.html

The type of natural numbers: 0, 1, 2, ...

https://disco-lang.readthedocs.io/en/latest/introduction/types.html
https://disco-lang.readthedocs.io/en/latest/reference/natural.html
https://disco-lang.readthedocs.io/en/latest/reference/symbols.html

The type of natural numbers: 0, 1, 2, ...

https://disco-lang.readthedocs.io/en/latest/introduction/types.html
https://disco-lang.readthedocs.io/en/latest/reference/natural.html
https://disco-lang.readthedocs.io/en/latest/reference/symbols.html

The type of rational numbers p/q.

https://disco-lang.readthedocs.io/en/latest/introduction/types.html
https://disco-lang.readthedocs.io/en/latest/reference/rational.html
https://disco-lang.readthedocs.io/en/latest/reference/symbols.html

append : List(a) × List(a) → List(a)

Append two lists into a single list.