on 397fc55 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.hsChange the style of type signatures prelude2.hsChange the style of type signatures prelude3-out.hsSplit large examples prelude3.hsSplit large examples prelude4-out.hsCorrectly place comments inside enclosing expressions at the end of the module prelude4.hsSplit large examples type-signature-out.hsChange the style of type signatures type-signature.hsImplement rendering of rewrite rule declarations