theory parser-fold

name	parser-fold
version	1.2
requires	base parser-comb parser-stream
meta.description	The fold parsers
meta.author	Joe Leslie-Hurd <joe@gilith.com>
meta.license	MIT
meta.show	"Data.Bool"
meta.show	"Data.Option"
meta.show	"Data.Pair"
meta.show	"Data.Sum"
meta.show	"Number.Natural"
meta.show	"Parser"
meta.show	"Parser.Stream"

name	main
imports	def thm

name	def
package	parser-fold-def-1.2