profile
viewpoint

rust-lang/chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

https://rust-lang.github.io/chalk/book/

rust-lang

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

nikomatsakis
jackh726
detrumi
nathanwhit
super-tuple
flodiebold
scalexm
Mcat12
Areredify
bors
sunjay
tmandry
yaahc
memoryleak47
withoutboats
fabric-and-ink
leoyvens
crlf0710
Aaron1011
zaharidichev
aturon
guanqun
matthewjasper
hashedone
MarkMcCaskey
daboross
declanvk
lnicola
adamrk
matklad
KiChjang
olegshtch
pksunkara
memoryruins
aatxe
camelid
LeSeulArtichaut
tirr-c
ljedrz
marmeladema
voidc
aravind-pg
eddyb
mikeyhew
Michael-F-Bryan
pietroalbini
drtychai
lqd
lcnr
Mark-Simulacrum
Phlosioneer
tweerwag
krk
pcpthm
varkor
cramertj
alexcrichton
chrissimpkins
dlrobertson
yellowsquid
JoshMcguigan
cuviper
mvaled
doctorn
nico-abram
pygy
sinkuu
taiki-e
Y-Nak
JohnTitor
gnzlbg
DustinByfuglien