Macro tactics

Here are some experimental implementations of tactics in the macro expander.

Name		Name	Last commit message	Last commit date
Latest commit History 93 Commits
ctt		ctt
engine		engine
hol		hol
.gitignore		.gitignore
README.md		README.md
expansion-handler.rkt		expansion-handler.rkt
goal.rkt		goal.rkt
info.rkt		info.rkt
lcf-example.rkt		lcf-example.rkt
lcfish.rkt		lcfish.rkt
lift-errors.rkt		lift-errors.rkt
lift-holes.rkt		lift-holes.rkt
lift-tooltips.rkt		lift-tooltips.rkt
new-tactics.rkt		new-tactics.rkt
rewindable-streams.rkt		rewindable-streams.rkt
rule.rkt		rule.rkt
seal.rkt		seal.rkt
stlc-lcfish.rkt		stlc-lcfish.rkt
stx-utils.rkt		stx-utils.rkt
syntax-info.rkt		syntax-info.rkt
todo.rkt		todo.rkt
tool.rkt		tool.rkt
tooltip-info.rkt		tooltip-info.rkt

Provide feedback