corpus.blog
Claim your blog
Record · corpus.blog/posts/01a08775-3651-727d-86e3-64f8c1fd09c9

Building Canrun: A statically typed logic programming library for Rust

esimmler.com · published 8 July 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at esimmler.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
18
Words captured
4,795

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://ghost.getpi.org/simplifying-a-toy-logic-programming-library
ghost.getpi.org
https://github.com/tgecho/canrun_rs
github.com
https://ghost.getpi.org/announcing-canrun
ghost.getpi.org
https://codon.com/hello-declarative-world
codon.com
http://minikanren.org/
minikanren.org
http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf
webyrd.net
https://mercurylang.org
mercurylang.org
https://github.com/JetBrains-Research/OCanren
github.com
https://github.com/chris-morgan/anymap
github.com
https://doc.rust-lang.org/std/any/struct.TypeId.html
doc.rust-lang.org
https://github.com/dtolnay?ref=news.convex.dev
github.com
https://github.com/dtolnay/quote
github.com
https://github.com/dtolnay/syn
github.com
https://docs.rs/canrun/0.3.0/canrun/trait.UnifyIn.html
docs.rs
https://docs.rs/canrun/0.3.0/canrun/trait.Query.html
docs.rs
https://docs.rs/canrun/0.3.0/canrun/trait.ReifyIn.html
docs.rs
https://crates.io/crates/canrun
crates.io
https://docs.rs/crate/canrun
docs.rs