GitHub repository: larstvei/LK
Primary language: Haskell
Created: 2015-09-30T22:18:36Z
Description: An implementation of the LK system in Haskell