tppl

Temporal Probabilistic Programming Language

Run with cargo run name_of_file.tppl

Name	Name	Last commit message	Last commit date
Latest commit HelixAchaos fixed pred-and bug Aug 17, 2022 bd8721c · Aug 17, 2022 History 30 Commits
docs	docs	temporary copy since I'll be rewriting the type system for coherency	Jun 12, 2022
out	out	extended cli arguments to include kernel choice	Aug 17, 2022
src	src	fixed pred-and bug	Aug 17, 2022
test	test	fixed next_until bug	Aug 17, 2022
.gitignore	.gitignore	temporary copy since I'll be rewriting the type system for coherency	Jun 12, 2022
LICENSE	LICENSE	temporary copy since I'll be rewriting the type system for coherency	Jun 12, 2022
README.md	README.md	temporary copy since I'll be rewriting the type system for coherency	Jun 12, 2022
cargo.toml	cargo.toml	fixed next_until bug	Aug 17, 2022

Provide feedback