on 8cb86d3 help sign in
20 files
../ basic1-out.hsSplit large examples basic1.hsSplit large examples basic2-out.hsSplit large examples basic2.hsSplit large examples empty-out.hsImplement rendering of rewrite rule declarations empty.hsImplement rendering of rewrite rule declarations forall-out.hsImplement rendering of rewrite rule declarations forall.hsImplement rendering of rewrite rule declarations phase-out.hsImplement rendering of rewrite rule declarations phase.hsImplement rendering of rewrite rule declarations prelude1-out.hsSplit large examples prelude1.hsSplit large examples prelude2-out.hsSplit large examples prelude2.hsSplit large examples prelude3-out.hsSplit large examples prelude3.hsSplit large examples prelude4-out.hsSplit large examples prelude4.hsSplit large examples type-signature-out.hsFix some inconsistency in indentation type-signature.hsImplement rendering of rewrite rule declarations