BNFC3-3.0: A compiler front-end generator.
Safe HaskellNone
LanguageHaskell2010

BNFC.Backend.Agda.Makefile

Documentation

agdaMakefile :: LBNF -> State AgdaBackendState Result Source #

cf2makefile :: LBNF -> AgdaBackendOptions -> Bool -> String -> Maybe FilePath -> FilePath -> String Source #

makefileDoc :: LBNF -> AgdaBackendOptions -> Bool -> String -> Maybe FilePath -> FilePath -> Doc () Source #