module Equation.PreludeList where

dictionary :: [ HaskellRewrite' ]
dictionary = map HaskellRewriteExp
	[ equation "/Program/PreludeList/Equations/xs ++ [] = xs"
...