maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.

Index - .

.FP.Core, FP
....:FP.Core, FP
...:FP.Core, FP
..:FP.Core, FP
.:FP.Core, FP
.^FP.Core, FP