1 2 3 4 5 6 7 8 9 10 11 12
# InPlace An implementation of several strongly-normalizing string rewriting systems # Relog Flavor ```relog a=Int;List<a> List<Int> A<b,C<d>>=A<Int,C<Bool>>;R<b> R<Int> ```