{"shas":[["4ab1c89f367f456c725a45e02cea351a73e3d127","7afe29481cafb320d995a0579302d4cf0fc553de@eecs.qmul.ac.uk","Finished first iteration of rewriting the semantics for iTOPL.\nAlso adjusted adStep so it does not use the n = {0, ..., n-1} isomorphism\nand gave it a new name.","Rasmus Lerchedahl Petersen"]],"ref":"refs/heads/master","size":1,"head":"4ab1c89f367f456c725a45e02cea351a73e3d127","push_id":39193273}