[Termtools] TODAY: Input for TermComp Presentation

[Claude Marche]

Thank Johannes, you guessed well I did not have the xsd converter.

I was interested in the C examples too : links to regular C source code 
would be nice :-)

Le 02/07/2020 à 15:10, Johannes Waldmann a écrit :
> my converter says
> 
> (VAR L m n)
> (RULES c (A, c (n, c (0, L))) -> c (A, c (S (n), L))
>         c (A, c (0, c (S (m), L))) -> c (A, c (S (0), c (m, L)))
>         c (A, c (S (n), c (S (m), L))) -> c (A, c (n, c (S (m), c (m, L)))))
> 
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>