Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove superfluous lambdas before guarded types | Matthew Dempsky | 2020-02-04 |
| | | | | | Guarded expression abstractions (fn [c ~ c] => e) begin with a lambda, but guarded types ([c ~ c] => t) do not. | ||
* | Fix typos in kinding judgments | Matthew Dempsky | 2020-02-04 |
| | | | | Kind-polymorphism is written as "X --> k", not "X -> k". | ||
* | Fix record type shorthand | Matthew Dempsky | 2020-02-04 |
| | | | | | | | The syntax is {c : c}, not {c = c}. Also, replace uses of shorthand (both correct and incorrect) in semantics rules with elaborated $[c = c]. | ||
* | Merge pull request #194 from mdempsky/manual-tweaks | Adam Chlipala | 2020-01-27 |
|\ | | | | | Manual tweaks | ||
| * | Elaborate e^* and e^+ syntax | Matthew Dempsky | 2020-01-22 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | Clarify that parentheses are used if and only if e consists of multiple symbols; also, that both e and the separator (if any) will be paranthesized. ("if any" is appropriate because the grammar extensions for XML include "(x[=v])*", which has no separator.) Fix the known-length type-level record syntax to indicate that commas are used to separate field descriptors. Change the pattern matching grammar to use "\mid" instead of "|" for internal consistency. (No visible change, as far as I can tell.) | ||
| * | Consistently introduce application syntax before abstraction | Matthew Dempsky | 2020-01-22 |
| | | | | | | | | Makes it slightly easier to recognize the symmetry between forms. | ||
| * | Kind variables must be bracketed in expression-level binders | Matthew Dempsky | 2020-01-22 |
| | | |||
* | | monad has kind (Type->Type)->Type, not just Type->Type | Matthew Dempsky | 2020-01-21 |
|/ | |||
* | Fix documentation typo | Matthew Dempsky | 2020-01-19 |
| | | | | Cooperative threads run *un*interrupted between context-switch points. | ||
* | Added some documentation for the LSP server to the manual | Simon Van Casteren | 2020-01-15 |
| | |||
* | urweb daemon restart | Adam Chlipala | 2019-08-30 |
| | |||
* | New JavaScript FFI function 'listen' | Adam Chlipala | 2019-07-17 |
| | |||
* | Manual entry for '-endpoints' | Adam Chlipala | 2019-01-27 |
| | |||
* | Clarifying security model in the manual | Adam Chlipala | 2019-01-26 |
| | |||
* | Follow-up to #146: update documentation | Adam Chlipala | 2018-12-19 |
| | |||
* | New .urp option: safeGetDefault | Adam Chlipala | 2018-12-14 |
| | |||
* | Fix a manual typo | Adam Chlipala | 2018-10-23 |
| | |||
* | 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process | Adam Chlipala | 2018-06-03 |
| | |||
* | Manual fix: [self] only callable on the server | Adam Chlipala | 2017-11-11 |
| | |||
* | New .urp directives: mimeTypes and long form of file | Adam Chlipala | 2017-10-01 |
| | |||
* | Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations | Adam Chlipala | 2017-07-12 |
| | |||
* | Document new 'jsModule' .urp directive | Adam Chlipala | 2017-07-12 |
| | |||
* | Extend license for tutorial code | Adam Chlipala | 2017-03-17 |
| | |||
* | Update manual for '-js' | Adam Chlipala | 2017-03-07 |
| | |||
* | Make HTML5 the default and add 'xhtml' .urp directive | Adam Chlipala | 2016-09-20 |
| | |||
* | Manual: explain the cooperative multithreading model | Adam Chlipala | 2016-08-26 |
| | |||
* | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
| | |||
* | Short manual note on -sqlcache | Adam Chlipala | 2015-12-20 |
| | |||
* | Document jsFile | Adam Chlipala | 2015-12-05 |
| | |||
* | Add LIKE to the manual | Adam Chlipala | 2015-08-15 |
| | |||
* | Fix termination bug in tutorial's isEven/isOdd | Adam Chlipala | 2015-08-09 |
| | |||
* | A number of bug fixes in the manual | Adam Chlipala | 2015-06-11 |
| | |||
* | Use hyperref in manual | Julian Squires | 2015-04-24 |
| | | | | This allows the table of contents to show up properly in PDF readers. | ||
* | Document hexadecimal literals | Adam Chlipala | 2015-03-05 |
| | |||
* | Document new infix operators | Adam Chlipala | 2015-03-05 |
| | |||
* | Reference manual: fix rendering of field removal operators | Adam Chlipala | 2015-01-22 |
| | |||
* | New antiquote syntax for ORDER BY | Adam Chlipala | 2014-12-23 |
| | |||
* | Make 'required' and 'autofocus' attributes Boolean; add a syntax extension ↵ | Adam Chlipala | 2014-11-16 |
| | | | | for parsing their usual HTML syntax | ||
* | 'aria-*' attributes | Adam Chlipala | 2014-08-01 |
| | |||
* | New .urp directive: file | Adam Chlipala | 2014-07-31 |
| | |||
* | Manual: Heuristic compilation warning | Adam Chlipala | 2014-07-26 |
| | |||
* | Default 'jsFunc' for less-safe FFI | Adam Chlipala | 2014-07-16 |
| | |||
* | New syntactic shorthand for antiquoting subqueries | Adam Chlipala | 2014-06-25 |
| | |||
* | let..where..end | Adam Chlipala | 2014-06-11 |
| | |||
* | Warn about MLton memory usage | Adam Chlipala | 2014-05-25 |
| | |||
* | New lessSafeFfi | Adam Chlipala | 2014-05-02 |
| | |||
* | Monadic bind supports patterns | Adam Chlipala | 2014-05-02 |
| | |||
* | HTML5 data-* attributes | Adam Chlipala | 2014-05-02 |
| | |||
* | uw_register_transactional() can return error codes | Adam Chlipala | 2014-04-17 |
| | |||
* | Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL ↵ | Adam Chlipala | 2014-04-15 |
| | | | | serialization failures |