InPlace
An implementation of several strongly-normalizing string rewriting systems
Relog Flavor
a=Int;List<a>
List<Int>
A<b,C<d>>=A<Int,C<Bool>>;R<b>
R<Int>
An implementation of several strongly-normalizing string rewriting systems
a=Int;List<a>
List<Int>
A<b,C<d>>=A<Int,C<Bool>>;R<b>
R<Int>