Functions — github.com/VictorTaelin/Interaction-Calculus

CodeHub MCPcopy Create free account

hub / github.com/VictorTaelin/Interaction-Calculus / functions

Functions107 in github.com/VictorTaelin/Interaction-Calculus

⨍ Functions 107◇ Types & classes 1

Allocs an App node

Allocs a Dup node

Allocs a Lam node

Functionic_make_swi

Helper to create a switch term @param val Pointer to the switch node @return A switch term

Allocs a Sup node

Functionpeek_is

src/parse.c:171

← previous101–107 of 107, ranked by callers