dsl

Development Instructions

runghc QueryParseTest.lhs

runghc ToRosetteTest.lhs

cat examples/pullsubquery.cos | runghc CosetteSolver.lhs

Name		Name	Last commit message	Last commit date
parent directory ..
Text/Parsec/String		Text/Parsec/String
.gitignore		.gitignore
CoqCodeGen.lhs		CoqCodeGen.lhs
CosetteParser.lhs		CosetteParser.lhs
CosetteSolver.lhs		CosetteSolver.lhs
FunctionsAndTypesForParsing.lhs		FunctionsAndTypesForParsing.lhs
LeanCodeGen.lhs		LeanCodeGen.lhs
QueryParseTest.lhs		QueryParseTest.lhs
RosetteCodeGen.lhs		RosetteCodeGen.lhs
ToHoTTSQL.lhs		ToHoTTSQL.lhs
ToHoTTSQLTest.hs		ToHoTTSQLTest.hs
ToLean.lhs		ToLean.lhs
ToRosette.lhs		ToRosette.lhs
ToRosetteTest.lhs		ToRosetteTest.lhs
Utilities.lhs		Utilities.lhs
build.sh		build.sh
cosette.cabal		cosette.cabal
dsl-example.md		dsl-example.md
readme.md		readme.md