lambda-cube-0.3.0: Some thoughts on Calculus of Constructions
Safe HaskellNone
LanguageHaskell2010

L3.Parse.ExprParser

Description

Parser from Tokens into Expressions

Synopsis

Documentation

parseExpr :: [Token] -> Result ShowExpr Source #

Parse a string to a named expression (using string labels) Strip comments here, as they apply inside any context and are difficult to deal with otherwise