aboutsummaryrefslogtreecommitdiff
path: root/docs
Commit message (Expand)AuthorAgeFilesLines
* Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-0733-29/+4338
* Fix gh pages config fileFelix Mulder2016-10-061-1/+1
* Append baseurl to necessary linksFelix Mulder2016-10-062-19/+19
* Remove relative links for markdown pluginFelix Mulder2016-10-064-270/+9
* Warn users about outdated HK schemeFelix Mulder2016-10-061-1/+5
* Add Jekyll as static site generatorFelix Mulder2016-10-0639-109/+768
* Add posts from dotty-websiteFelix Mulder2016-10-066-12/+471
* Add index.mdFelix Mulder2016-10-062-0/+31
* Move wiki into docs dirFelix Mulder2016-10-0621-643/+1493
* Add inline for valsMartin Odersky2016-10-021-2/+3
* Eliminate SelectFromTypeTree from docsMartin Odersky2016-09-251-1/+1
* Fix #1396: Modify parser to allow wildcard types everywhereClemens Winter2016-08-011-6/+6
* Drop restriction to 2nd order hk typesMartin Odersky2016-07-121-2/+3
* New type lambda scheme for hk typesMartin Odersky2016-07-111-1/+1
* PolishingMartin Odersky2016-04-011-10/+11
* Add linksMartin Odersky2016-04-011-6/+14
* New article: dotc's overall structureMartin Odersky2016-04-011-0/+165
* add syntax highlightingMartin Odersky2016-04-011-0/+4
* fix typoMartin Odersky2016-04-011-1/+1
* Fix typoMartin Odersky2016-04-011-1/+1
* Add more material to periods.mdMartin Odersky2016-04-011-1/+39
* First of a series of compiler design documentsMartin Odersky2016-04-011-0/+52
* Allow Named Arguments in TypeArgsMartin Odersky2016-02-191-1/+1
* First version of named type argumentsMartin Odersky2016-02-191-1/+3
* Fix parsing of blocks that end in an importMartin Odersky2015-12-191-1/+1
* fix typosMartin Odersky2015-10-231-8/+8
* fix typosMartin Odersky2015-10-231-2/+4
* fix typosMartin Odersky2015-10-231-3/+3
* fix typosMartin Odersky2015-10-231-2/+2
* Draft blog postMartin Odersky2015-10-231-0/+61
* Make it a syntactic criterion whether a literal is a legal typeMartin Odersky2015-08-241-2/+3
* Update SyntaxSummary to take into account SIP 23.Martin Odersky2015-08-231-0/+1
* Typo fixsenia-psm2015-08-141-1/+1
* Typo fix in trait Lambda$II definitionsenia-psm2015-08-141-1/+1
* Disallow {...} arguments for annotationsMartin Odersky2015-05-211-1/+1
* Allow AnnotatedType in operands of `with`.Martin Odersky2015-05-211-6/+7
* Allow byname repated parametersMartin Odersky2015-04-241-2/+2
* Merge pull request #146 from dotty-staging/docs/hk-typo-fixDmitry Petrashko2014-07-191-1/+1
|\
| * Fixed typoMartin Odersky2014-07-191-1/+1
* | delete unmatched )Nada Amin2014-07-191-1/+1
* | minor typoNada Amin2014-07-191-1/+1
|/
* Sync with implementationMartin Odersky2014-07-141-51/+100
* fixed typosMartin Odersky2014-05-301-5/+5
* Fixed typosMartin Odersky2014-05-301-7/+7
* Version 2, picking up on an idea of Adriaan.Martin Odersky2014-05-301-0/+326
* Fixed two problems with annotated types in patternsMartin Odersky2014-03-141-3/+3
* New version of syntax-summary, with addition of string interpolators for quas...Martin Odersky2013-05-151-4/+8
* Lots of fixes to parserMartin Odersky2013-05-121-7/+9
* Some parser revisionsMartin Odersky2013-05-091-9/+10
* Added a parser.Martin Odersky2013-05-071-70/+90