Commits and authors (lambda-term)

Total number of commits (excl. merge): 293