rnn

RNN - rnn not Noq.

so its the rnn - A mathematical programming language for dependent type theory that is not Noq.

Quick Setup

$ cargo run

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
DESCRIPTION.md		DESCRIPTION.md
LICENSE		LICENSE
README.md		README.md
doodle.txt		doodle.txt