module Drasil.Projectile.Lesson.Main (main) where

import GHC.IO.Encoding

import Language.Drasil.Generate (gen, DocSpec(DocSpec), DocType(Jupyter), docChoices)

import Drasil.Projectile.Lesson.Body (nb, printSetting)

main :: IO()
main :: IO ()
main = do
  TextEncoding -> IO ()
setLocaleEncoding TextEncoding
utf8
  DocSpec -> Document -> PrintingInformation -> IO ()
gen (DocChoices -> Filename -> DocSpec
DocSpec (DocType -> [Format] -> DocChoices
docChoices DocType
Jupyter []) Filename
"Projectile Lesson") Document
nb PrintingInformation
printSetting