Goheeca

(load "nilp.lisp")

(eval
  (read-from-string
    (write-to-string
      (nility
        '(loop for i below 10
               do (format t "~@(~:r hello world!~)~%" i))))))

Goheeca

#!/usr/bin/env stack
-- stack --resolver lts-18.5 script --package template-haskell --package refined
{-# LANGUAGE TemplateHaskell, TypeApplications #-}

import Refined
import Data.Either

import RefinedTestDefinitions

refinedTypeAppliedTest :: RefinedTest Int

Goheeca

{-# LANGUAGE TemplateHaskell #-}
module Main where

import Reificator

main :: IO ()
main = pure $$(guardTH (operationTest 11 7 4) [|| () ||])