GitHub repository: Cramblioni/lamcal
Primary language: Nim
Created: 2023-02-05T13:08:58Z
Description: greedy lambda calculus solver