all: touch extraction.ma EXTRACT_HASKELL=1 ../matitac extraction.ma 2> /tmp/foo.hs cat preamble.hs /tmp/foo.hs > extraction.hs .PHONY: all # ghci extraction.hs # Syntax for datatypes: data Foo = Zero | Succ Foo Foo