ob-ada-spark

Homepage: https://github.com/rocher/ob-ada-spark

Author: Francesc Rocher

Updated: 2022-Nov-14

Summary

Babel functions for Ada & SPARK

Commentary

Org-Babel support for evaluating Ada & SPARK code and proving SPARK code.

  - Initial implementation + First official release
  - For more information see 

Dependencies

• f
• ob
• time-stamp