type-of-html-1.4.0.1: bench/Compilation/X64.hs
{-# LANGUAGE DataKinds #-}
module Compilation.X64 (run) where
import Compilation
run :: IO ()
run = print . r (Proxy :: Proxy 64) $ helloWorld ()
{-# LANGUAGE DataKinds #-}
module Compilation.X64 (run) where
import Compilation
run :: IO ()
run = print . r (Proxy :: Proxy 64) $ helloWorld ()