0.0
Repository is gone
No release in over 3 years
Intermediate API Language (IAL) for to build tla-sbuilder snippets.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
 Dependencies

Runtime

>= 1.1.5, ~> 1.1
>= 1.0.3, ~> 1.0
>= 0.3.4