41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a0b5c5-34fb-718f-a6a9-232b2363ba80

Negative reasoning in Chalk

aturon.github.io · published 24 April 2017

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 aturon.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 11
Words captured: 7,374

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://github.com/nikomatsakis/chalk/

github.com

Lowering Rust traits to logic Read at the source ↗

smallcultfollowing.com

Unification in Chalk, part 1 Read at the source ↗

smallcultfollowing.com

Unification in Chalk, part 2 Read at the source ↗

smallcultfollowing.com

Associated type constructors, part 1: basic concepts and introduction Read at the source ↗

smallcultfollowing.com

https://github.com/rust-lang/rfcs/pull/1023

github.com

https://github.com/rust-lang/rust/blob/4ed95009d8d5d50c4f7aee35ad89c30a2258ffa9/src/librustc/traits/select.rs

github.com

https://github.com/rust-lang/rust/blob/4ed95009d8d5d50c4f7aee35ad89c30a2258ffa9/src/librustc/traits/project.rs

github.com

Multi- and conditional dispatch in traits Read at the source ↗

smallcultfollowing.com

https://plato.stanford.edu/entries/logic-modal/

plato.stanford.edu

https://en.wikipedia.org/wiki/Law_of_excluded_middle

en.wikipedia.org