GitHub repository: lurchmath/second-order-matching
Primary language: JavaScript
Created: 2019-05-31T12:36:19Z
Description: An implementation of the Huet-Lang algorithm in JavaScript