| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
actually final.
|
|
made it 1-based as in docs, instead of 0-based as before.
|
|
collision with Troff file extension.
|
|
line if there is one already.
|
|
using top-level layout sytax. Changed transfer syntax to use this to force semicolon after imports when pretty printing transfer. transfer grammar printer now produces Transfer syntax, not core. It also imports prelude and includes Eq and Compos instances.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Created CompilerAPI.
|
|
|
|
compilation.
|
|
|
|
|
|
|
|
strictness, fixed.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
constructor types.
|
|
missing Tree here and there.
|
|
expressions.
|
|
|
|
single type argument.
|
|
|
|
printing of tokens in correct positions in the layout test program.
|
