GitHub repository: umazalakain/errata
Primary language: Scala
Description: Error handling made precise. Because error handling belongs in the types.