slot-lambda-0.1.0.3: examples/t0.hs
{-# LANGUAGE TemplateHaskell,QuasiQuotes #-}
import Syntax.Slot
main = do
print $ [s| ı : ı : _ı : ı : _ı : _ı : _0 : [] |] 'a' 'b' 'c'
print $ [s| ı + ı |] 5 3
print $ [s| _1 / _0 |] 4 8
print $ [s| ı + _ı |] 1