Awesome

Once you install FaCT, you can use it inline in your Haskell project:

{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
import Language.FaCT.Inline

[fact|secret uint32 add(secret uint32 x, secret uint32 y) {
  return x + y;
}
|]

[fact|secret uint32 sub(secret uint32 x, secret uint32 y) {
  return x - y;
}
|]


main :: IO ()
main = do
  putStrLn "hello!"
  res1 <- add 3 55
  putStrLn $ show res1
  res2 <- sub 55 3
  putStrLn $ show res2
  putStrLn "bye!"

This is a small protype and should not be used in production code.