{"push_id":1889040881,"size":5,"distinct_size":0,"ref":"refs/heads/master","head":"349d6a3ab09148edfba52c1bb8becd25212364d5","before":"812548fd41aa9dcbebc6ea1c626e1649cc1d2089","commits":[{"sha":"254cec3779eccae9b8da2f0419d146fc9eb4262e","author":{"name":"Brandon D. Harrington","email":"25e113572f5bf3d1f3b6a6ff22cc6311d79eca34@outlook.com"},"message":"added an implementation of 'findSubs' corresponding to the algorithm I use in the documentation","distinct":false,"url":"https://api.github.com/repos/profbrandon/typeChecker/commits/254cec3779eccae9b8da2f0419d146fc9eb4262e"},{"sha":"5a37693bc27f3f7f78eb125ccef6b0aebfae4555","author":{"name":"Brandon D. Harrington","email":"25e113572f5bf3d1f3b6a6ff22cc6311d79eca34@outlook.com"},"message":"simplified functions in tc.hs","distinct":false,"url":"https://api.github.com/repos/profbrandon/typeChecker/commits/5a37693bc27f3f7f78eb125ccef6b0aebfae4555"},{"sha":"8e7547a6d648a79ffd14ab184590fdacf0b523be","author":{"name":"Brandon D. Harrington","email":"25e113572f5bf3d1f3b6a6ff22cc6311d79eca34@outlook.com"},"message":"added automatic universal quantification; restricting universal quantifier variables to all lower case strings","distinct":false,"url":"https://api.github.com/repos/profbrandon/typeChecker/commits/8e7547a6d648a79ffd14ab184590fdacf0b523be"},{"sha":"6a5f986ff3e9fd6d7d0b6aea1f90e454e184d232","author":{"name":"Brandon D. Harrington","email":"25e113572f5bf3d1f3b6a6ff22cc6311d79eca34@outlook.com"},"message":"testing","distinct":false,"url":"https://api.github.com/repos/profbrandon/typeChecker/commits/6a5f986ff3e9fd6d7d0b6aea1f90e454e184d232"},{"sha":"349d6a3ab09148edfba52c1bb8becd25212364d5","author":{"name":"Brandon D. Harrington","email":"25e113572f5bf3d1f3b6a6ff22cc6311d79eca34@outlook.com"},"message":"Merge pull request #3 from profbrandon/noforall\n\nNoforall","distinct":false,"url":"https://api.github.com/repos/profbrandon/typeChecker/commits/349d6a3ab09148edfba52c1bb8becd25212364d5"}]}
{"actor":{"display_login":"profbrandon"}}