Home

Welcome to the catculus wiki!

• Creating a default community health file

Briliant Language

Numbers

• Natural -> generated, for numbers we need defined . (nil) and : (succ), so:
  • 0 is .
  • 1 is : .
  • 2 is : (: .)
• Integer -> pair sign natural, sign is bool, plus is false, minus is true, so:
  • +0 is , false .
  • -0 is , true .
  • +1 is , false (: .)
  • -1 is , true (: .)

List

[,a ,b ,c ]

Desugared

(,a ,b ,c .)

, is V combinator

Local scope

{
  ;val1 (a b)
  ;val2 (a b c)
  val1 val2
}

Desugared

(
  &(a b) \val1
  &(a b c) \val2
  val1 val2
)
`&` is `T` combinator