summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2012-08-18Write a bit about flattening.Ori Bernstein
2012-08-18Rephrase the usefile descriptionOri Bernstein
2012-08-18More docs.Ori Bernstein
2012-08-18Stub in table of contents.Ori Bernstein
2012-08-18Add start of compiler internals documentation.Ori Bernstein
2012-08-12Start on style guide.Ori Bernstein
2012-08-12Some clarification on tyvars.Ori Bernstein
2012-08-12Explain the interchanability of ';' and \nOri Bernstein
2012-08-12Clarify the way that string literals work.Ori Bernstein
2012-08-12Add standard library sectionOri Bernstein
Does it belong in the language doc?
2012-08-12Improve formatting of 'examples' sections of docs.Ori Bernstein
2012-08-12Remove dead section number.Ori Bernstein
2012-08-12Document match statements:Ori Bernstein
2012-08-11Rearrange sections.Ori Bernstein
2012-08-09Add more docs.Ori Bernstein
2012-08-09More docs.Ori Bernstein
2012-08-08Add more documentation.Ori Bernstein
2012-08-08More docs.Ori Bernstein
2012-08-07New version of language docs.Ori Bernstein
2012-08-07Rename type names.Ori Bernstein
Tyname -> Tyunres (unresolved types) Tyalias -> Tyname (named types)
2012-08-01Minor doc updates.Ori Bernstein
2012-06-30More work on the docsOri Bernstein
2012-06-29start of tutorial-spec-thingy.Ori Bernstein