Skip to content

Home
- References
Download
Example analyses
Documentation
Probabilistic programming
- Conceptual background
Development
Contact
- Bug reports
- Mailing list

Function reference / Functions

`-`

Usage

(x: a) -
(y: a) → a

Type constraints: Num<a>

Operator: precedence 6; associativity: left.

Arguments

x
y

Terminal help: bali-phy help -