Is this program correct?
'►' 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?
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2021 Microsoft