Skip to content

Home

Jump to bottom
Kamil Adam edited this page Aug 17, 2023 · 17 revisions

Welcome to the catculus wiki!

Briliant Language

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

HOME | ARCHITECTURE | ROADMAP | TODO | THANKS | INSTALL

Clone this wiki locally