netties

netties

An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators.

2 0
NOASSERTION
last commit 2026-11-03
Website Source
Share:

About

An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators.

netties website preview

Languages

Contributors1

No features listed.

Comments Theme
slug: netties