Adding Concurrency to Frege (Part 1 of 3) (2013) · HackerTrans