Brandon Holt inserted set_spec.tex into layout  about 9 years ago

Commit id: 14d24cae3efa80e9f6eb928b4c8e5ccf3a8331a8

deletions | additions      

       

abstract.md  Introduction.md  Commutativity.md  set_spec.tex  datatypes.md  Evaluation.md  figures/throughput/throughput.png