Project

Topics

Namespaces

zhang 0.1.0-SNAPSHOT

Released under the Apache License, Version 2.0

An implementation of π-Calculus in Clojure.

Installation

To install, add the following dependency to your project or build file:

[zhang "0.1.0-SNAPSHOT"]

Topics

Namespaces

zhang.core

Public variables and functions:

zhang.dev

A development namespace that imports other useful namespaces for easy prototyping, &c. The intended use is for this to be the initial namespace when running lein repl from the Clozhang project directory.

Public variables and functions: