{-# LANGUAGE OverloadedStrings #-}

import Core.Program
import Technique.Procedure ()

main :: IO ()
main = execute $ do
    write "Start"
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}

import Core.Program
import Technique.Procedure ()

program :: Program None ()
program = do
    write "Start"

version :: Version
version = $(fromPackage)

main :: IO ()
main = do
    context <- configure version None (simple
        [
        ])
    executeWith context program
Configure program stub using package version
Configure program stub using package version
