summaryrefslogtreecommitdiff
path: root/spec/03-types.md
Commit message (Expand)AuthorAgeFilesLines
* Fix == in spec linearization examplesJanek Bogucki2017-04-101-2/+2
* Add language to code blocks in spec (#5502)Daniel Barclay2016-11-161-5/+5
* Merge pull request #5355 from dsbos/dsbos-SpecEditsAdriaan Moors2016-08-221-11/+11
|\
| * Editorial: Italicized more defining occurrences of terms.Daniel Barclay2016-08-211-11/+11
* | More fixes based on feedback by LukasAdriaan Moors2016-03-261-1/+1
* | Spec updates for Sammy.Adriaan Moors2016-03-261-38/+61
|/
* spec: Remove obsolete rules related to scala.NotNullGuillaume Martres2015-04-281-2/+1
* Spec improvementsSimon Ochsenreither2015-04-251-11/+12
* Update 03-types.mdjhegedus422014-12-301-2/+2
* Update 03-types.mdroberthoedicke2014-10-081-1/+1
* Update 03-types.mdroberthoedicke2014-10-081-1/+1
* SI-8870 Fix markup errors in the Types section of the specJason Zaugg2014-10-011-5/+5
* spec: fix broken links and anchors, including examplesAntoine Gourlay2014-09-171-3/+3
* spec: remove trailing whitespace everywhereAntoine Gourlay2014-09-171-153/+128
* spec: fix latex formatting all over the placeAntoine Gourlay2014-09-171-14/+14
* SI-8325 Spec accepts infix type *Som Snytt2014-05-071-2/+1
* Rebase #3665Adriaan Moors2014-03-311-3/+3
* Reducing overlap of code and math.Adriaan Moors2014-03-281-36/+33
* Number files like chapters. Consolidate toc & preface.Adriaan Moors2014-03-281-0/+1059