tricu/src/Main.hs

module Main where

import Eval
import Lexer
import Parser
import Research

import Data.Map as Map
import Text.Megaparsec (runParser)

main :: IO ()
main = putStr 
     $ show 
     $ result 
     $ evalMulti Map.empty (parseMulti 
      "false = t\nnot = t (t (t t) (t t t)) t\ntrue = not false\ntrue")