Inpla

Interaction nets as a programming language

Pinned Repositories

inpla
Inpla: Interaction nets as a programming language (the current version)
Language:Yacc274 12 18
inpla0.02
(old version) Inpla: Interaction nets as a programming language
Language:Yacc4 2 00
train
Translator of a functional language to interaction nets (Inpla notation)
Language:C2 1 00

Inpla's Repositories

inpla/inpla
Inpla: Interaction nets as a programming language (the current version)
Language:Yacc274 12 18
inpla/inpla0.02
(old version) Inpla: Interaction nets as a programming language
Language:Yacc4 2 00
inpla/train
Translator of a functional language to interaction nets (Inpla notation)
Language:C2 1 00