ku-fpg / hermit-shell

HERMIT with GHCi shell
BSD 3-Clause "New" or "Revised" License
2 stars 0 forks source link

goto in our DSL #3

Open andygill opened 9 years ago

andygill commented 9 years ago

Right now, goto is used for going to specific AST instances.

goto 4 -- to go the AST after 4 re-writes

Should we use goto for going to a AST location?

p <- rhsOf 'fib
goto p

Given that going to an AST is like a checkout, how about co, or checkout for the AST?