theory parser-all

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

name	main
imports	def thm

name	def
package	parser-all-def-1.94