GitHub repository: vmchale/edit-distance
Primary language: ATS
Created: 2018-07-13T18:48:58Z
Description: Levenshtein edit distance, packaged for ATS