Repository navigation

Add soundness and completeness to glossary - #54

Merged

mark-i-m merged 2 commits into

rust-lang:masterfrom

mark-i-m:markim_glossary_001

Feb 14, 2018

Merged

Add soundness and completeness to glossary#54
mark-i-m merged 2 commits into
rust-lang:masterfrom
mark-i-m:markim_glossary_001

Commits on Feb 13, 2018
- add soundness and completeness to glossary
  mark-i-m
  committed
  19f04d6
- Update glossary.md
  mark-i-m
  authored
  7f6b4bc