module Main where

import Funcons.EDSL
import Funcons.Tools 
import Funcons.Core.Manual as Manual

import qualified Data.Map as M

main :: IO ()
main = mkMain