path: root/src/Transpile.hs

module Transpile
  ( transpileSKI
  ) where

import           Term

transpileSKI :: Term -> SKI
transpileSKI t = t