urweb-pprint

Pretty-printing for Ur/Web source code. And probably other analyses as well.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
sml-final-pretty-printer @ 7f40354		sml-final-pretty-printer @ 7f40354
tests		tests
xml		xml
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
TODO.md		TODO.md
errormsg.sig		errormsg.sig
errormsg.sml		errormsg.sml
list_util.sig		list_util.sig
list_util.sml		list_util.sml
main.sml		main.sml
parse_print.sml		parse_print.sml
prim.sig		prim.sig
prim.sml		prim.sml
print.sig		print.sig
print.sml		print.sml
source.sml		source.sml
source_print.sig		source_print.sig
source_print.sml		source_print.sml
sources		sources
urweb.grm		urweb.grm
urweb.lex		urweb.lex
urwebfmt.mlb		urwebfmt.mlb
utf8.sig		utf8.sig
utf8.sml		utf8.sml

Provide feedback