/examples/regulus/toy0/no-functor/
../
Toy0.gf
Toy0Eng.gf
Toy0Fin.gf