rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
2020-05-07	Reintegrate chalk using chalk-solve	Jack Huey	-0/+17
2020-03-02	Remove chalk integration	CAD97	-19/+0
2018-12-25	Remove licenses	Mark Rousskov	-10/+0
2018-04-23	in unit tests, use `note` to dump multiple program clauses	Niko Matsakis	-2/+2
2018-04-15	Implement Chalk lowering rule Normalize-From-Impl	Fabian Zaiser	-0/+9
2018-03-14	Add MVP for chalkification	scalexm	-0/+20