GitHub - FranchuFranchu/shared-inet: Interaction net / Linear logic runtime where values are shared. Duplicating a value creates a "shared value" which is transparently reference-counted.

FranchuFranchu / shared-inet Public

Notifications You must be signed in to change notification settings
Fork 0
Star 5

Interaction net / Linear logic runtime where values are shared. Duplicating a value creates a "shared value" which is transparently reference-counted.

0BSD license

5 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE

Repository files navigation

Permission to use, copy, modify, and/or distribute this software for
any purpose with or without fee is hereby granted.

THE SOFTWARE IS PROVIDED “AS IS” AND THE AUTHOR DISCLAIMS ALL
WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES
OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE
FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY
DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN
AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

About

Interaction net / Linear logic runtime where values are shared. Duplicating a value creates a "shared value" which is transparently reference-counted.

0BSD license