{"push_id":872657609,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"413b835c1a6bc6fe4598310da2e267fc40df09f6","before":"ec37804a7f68ee724ff05efb1d61910bc2a28a10","commits":[{"sha":"e6c1d6c1bb4a97ee6b9011a8fa0954668dbdc581","author":{"email":"3bc2712609041d2a5efe4c092aea41204091a80f@gmail.com","name":"Dan Szymczak"},"message":"Continuing down the path of finding and fixing errors that were introduced. Had to use ImpredicativeTypes in Spec for the Lenses.","distinct":true,"url":"https://api.github.com/repos/JacquesCarette/literate-scientific-software/commits/e6c1d6c1bb4a97ee6b9011a8fa0954668dbdc581"},{"sha":"ae42b400fde6fdad495daa24f2356cc04f51d773","author":{"email":"3bc2712609041d2a5efe4c092aea41204091a80f@gmail.com","name":"Dan Szymczak"},"message":"Cleaned up Spec language flags (no negative effect observed).","distinct":true,"url":"https://api.github.com/repos/JacquesCarette/literate-scientific-software/commits/ae42b400fde6fdad495daa24f2356cc04f51d773"},{"sha":"06a8b040dfd13bd11db5b6460ac59dec27bc2fc3","author":{"email":"3bc2712609041d2a5efe4c092aea41204091a80f@gmail.com","name":"Dan Szymczak"},"message":"Finished cleaning up (current) ASTTeX.hs errors. Also had to introduce ImpredicativeTypes to ASTTeX.hs On another note, ASTTeX will probably have to be updated to use GADTs or something in the future.","distinct":true,"url":"https://api.github.com/repos/JacquesCarette/literate-scientific-software/commits/06a8b040dfd13bd11db5b6460ac59dec27bc2fc3"},{"sha":"413b835c1a6bc6fe4598310da2e267fc40df09f6","author":{"email":"3bc2712609041d2a5efe4c092aea41204091a80f@gmail.com","name":"Dan Szymczak"},"message":"In order to compile, I had to comment out just about everything. Now I will start the slow process of incorporating everything piece by piece. Note: Pretty much everything in ToTeX.hs, SI_Units.hs, Example1.hs, Body1.hs, and PrintTeX.hs needs to be (completely) re-written.","distinct":true,"url":"https://api.github.com/repos/JacquesCarette/literate-scientific-software/commits/413b835c1a6bc6fe4598310da2e267fc40df09f6"}]}