slot-lambda-0.1.0.0: examples/t0.hs
{-# LANGUAGE TemplateHaskell,QuasiQuotes #-}
import Syntax.Slot
a = [s| ı : ı : _ı : ı : _ı : _ı : _0 : [] |] 'a' 'b' 'c'
main = print a
{-# LANGUAGE TemplateHaskell,QuasiQuotes #-}
import Syntax.Slot
a = [s| ı : ı : _ı : ı : _ı : _ı : _0 : [] |] 'a' 'b' 'c'
main = print a