fast
Is this program correct?
loading...
'►' shortcut: Alt+B
about Fast - A domain specific language for writing and analyzing tree manipulating programs
With FAST, you can answer questions like Can this program ever output a target tree? What happens if I compose these two programs?
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct