funcons-tools-0.2.0.15: src/Main.hs

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