{"push_id":708418897,"size":12,"distinct_size":1,"ref":"refs/heads/vect-2","head":"2066d41a3868e03eecb26e0621054e5e87f1ffd0","before":"b98d52b4642a0fbbcaafcdfe595ec992f40cf104","commits":[{"sha":"4b90afe52f4cf48215ecf79dfccc5beeead83146","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Clarifying that the exercise requires you to use this.type","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/4b90afe52f4cf48215ecf79dfccc5beeead83146"},{"sha":"8f325f1a22f187d75c84245bd4ee2429673c3fee","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Adding De Morgan's Law definition of And","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/8f325f1a22f187d75c84245bd4ee2429673c3fee"},{"sha":"103990db258011bfcf18cfe5f3b84895abb2107a","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Adding the definition of implies in terms of OR and NOT","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/103990db258011bfcf18cfe5f3b84895abb2107a"},{"sha":"2ac2b32c12a9d46304aa483ac86339d1599336f1","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Clarifying bool-4","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/2ac2b32c12a9d46304aa483ac86339d1599336f1"},{"sha":"a2d901c24e218b5ce6843b6597190b56681df39b","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Merge branch 'bool-2' into bool-3","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/a2d901c24e218b5ce6843b6597190b56681df39b"},{"sha":"2544f3d6a475ac3d565abe40140a1b9dc7df4583","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Merge branch 'bool-3' into bool-4","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/2544f3d6a475ac3d565abe40140a1b9dc7df4583"},{"sha":"56d4422567b5a4336581cb7d241a219faa20d799","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Adding necessary parenthesis","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/56d4422567b5a4336581cb7d241a219faa20d799"},{"sha":"11bf62493ee1ca5b6f840fa7d0199f3527ed1a23","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Merge branch 'bool-4' into nat-1","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/11bf62493ee1ca5b6f840fa7d0199f3527ed1a23"},{"sha":"56d21d56c7e75ad4e5041502ab19318967b53eef","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Merge branch 'nat-1' into nat-2","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/56d21d56c7e75ad4e5041502ab19318967b53eef"},{"sha":"5c0625e1c5ba6117073757c23f616eb7c2667ea8","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Merge branch 'nat-2' into nat-3","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/5c0625e1c5ba6117073757c23f616eb7c2667ea8"},{"sha":"cf0ccb67680c1d1a2d0295ec4af5d1e76cc4fc38","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Merge branch 'nat-3' into vect-1","distinct":false,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/cf0ccb67680c1d1a2d0295ec4af5d1e76cc4fc38"},{"sha":"2066d41a3868e03eecb26e0621054e5e87f1ffd0","author":{"email":"109bfd325454d7b8bd3780f26b7956ecc22334ea@gmail.com","name":"Joe Barnes"},"message":"Merge branch 'vect-1' into vect-2","distinct":true,"url":"https://api.github.com/repos/joescii/type-prog-ws/commits/2066d41a3868e03eecb26e0621054e5e87f1ffd0"}]}