Proof of concept, or how adding some features to lark allows outlines to perform guided generation of simply typed lambda calculus (in Haskell).
Proof of concept, or how adding some features to lark allows outlines to perform guided generation of simply typed lambda calculus (in Haskell).