lazy-lambda-calculus: 7753bcff18c01207b5f8746d7da5eb66e1e27f25

     1: module Main where
     2: 
     3: main = pure ()