Skip to content


Folders and files

Last commit message
Last commit date

Latest commit



5 Commits

Repository files navigation

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.


No releases published


No packages published