Closed jonaprieto closed 8 years ago
λ ~/onlineatps/src/ master* touch .onlineatps λ ~/onlineatps/src/ master* runghc Main.hs ~/onlineatps/examples/basic.tptp --atp=e Main.hs: UnexpectedEvent {_received = Just EventStreamEnd, _expected = Just EventDocumentStart}
λ ~/onlineatps/src/ master* touch .onlineatps λ ~/onlineatps/src/ master* runghc Main.hs ~/onlineatps/examples/basic.tptp --atp=e Main.hs: UnexpectedEvent {_received = Just EventStreamEnd, _expected = Just EventDocumentStart}