quox/lib/Quox/Parser.idr

module Quox.Parser

import public Quox.Parser.Syntax
import public Quox.Parser.Lexer
import public Quox.Parser.Parser
import public Quox.Parser.FromParser
parser 2023-03-04 21:02:51 +01:00			`module Quox.Parser`

add module Parser.Syntax with PTerm and toPTerm 2023-03-05 14:55:04 +01:00			`import public Quox.Parser.Syntax`
more parser/FromParser stuff - top level semicolons optional - type optional [the def will need to be an elim] - `load` statement - namespaces 2023-03-12 18:28:37 +01:00			`import public Quox.Parser.Lexer`
			`import public Quox.Parser.Parser`
			`import public Quox.Parser.FromParser`