Common.hs
1 2 module Common 3 ( module R1CS 4 , module System.FilePath 5 , circuitSourceDir 6 ) 7 where 8 9 -------------------------------------------------------------------------------- 10 11 import System.FilePath 12 import R1CS 13 14 -------------------------------------------------------------------------------- 15 16 circuitSourceDir :: FilePath 17 circuitSourceDir = "../circuit/" 18 19 --------------------------------------------------------------------------------