Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge pull request #194 from mdempsky/manual-tweaks | 2020-01-27 | |
|\ | | | | | Manual tweaks | ||
| * | Elaborate e^* and e^+ syntax | 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 | 2020-01-22 | |
| | | | | | | | | Makes it slightly easier to recognize the symmetry between forms. | ||
| * | Kind variables must be bracketed in expression-level binders | 2020-01-22 | |
| | | |||
* | | monad has kind (Type->Type)->Type, not just Type->Type | 2020-01-21 | |
|/ | |||
* | Fix documentation typo | 2020-01-19 | |
| | | | | Cooperative threads run *un*interrupted between context-switch points. | ||
* | Added some documentation for the LSP server to the manual | 2020-01-15 | |
| | |||
* | urweb daemon restart | 2019-08-30 | |
| | |||
* | New JavaScript FFI function 'listen' | 2019-07-17 | |
| | |||
* | Manual entry for '-endpoints' | 2019-01-27 | |
| | |||
* | Clarifying security model in the manual | 2019-01-26 | |
| | |||
* | Follow-up to #146: update documentation | 2018-12-19 | |
| | |||
* | New .urp option: safeGetDefault | 2018-12-14 | |
| | |||
* | Fix a manual typo | 2018-10-23 | |
| | |||
* | 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process | 2018-06-03 | |
| | |||
* | Manual fix: [self] only callable on the server | 2017-11-11 | |
| | |||
* | New .urp directives: mimeTypes and long form of file | 2017-10-01 | |
| | |||
* | Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations | 2017-07-12 | |
| | |||
* | Document new 'jsModule' .urp directive | 2017-07-12 | |
| | |||
* | Extend license for tutorial code | 2017-03-17 | |
| | |||
* | Update manual for '-js' | 2017-03-07 | |
| | |||
* | Make HTML5 the default and add 'xhtml' .urp directive | 2016-09-20 | |
| | |||
* | Manual: explain the cooperative multithreading model | 2016-08-26 | |
| | |||
* | Support for <meta> tags | 2016-05-15 | |
| | |||
* | Short manual note on -sqlcache | 2015-12-20 | |
| | |||
* | Document jsFile | 2015-12-05 | |
| | |||
* | Add LIKE to the manual | 2015-08-15 | |
| | |||
* | Fix termination bug in tutorial's isEven/isOdd | 2015-08-09 | |
| | |||
* | A number of bug fixes in the manual | 2015-06-11 | |
| | |||
* | Use hyperref in manual | 2015-04-24 | |
| | | | | This allows the table of contents to show up properly in PDF readers. | ||
* | Document hexadecimal literals | 2015-03-05 | |
| | |||
* | Document new infix operators | 2015-03-05 | |
| | |||
* | Reference manual: fix rendering of field removal operators | 2015-01-22 | |
| | |||
* | New antiquote syntax for ORDER BY | 2014-12-23 | |
| | |||
* | Make 'required' and 'autofocus' attributes Boolean; add a syntax extension ↵ | 2014-11-16 | |
| | | | | for parsing their usual HTML syntax | ||
* | 'aria-*' attributes | 2014-08-01 | |
| | |||
* | New .urp directive: file | 2014-07-31 | |
| | |||
* | Manual: Heuristic compilation warning | 2014-07-26 | |
| | |||
* | Default 'jsFunc' for less-safe FFI | 2014-07-16 | |
| | |||
* | New syntactic shorthand for antiquoting subqueries | 2014-06-25 | |
| | |||
* | let..where..end | 2014-06-11 | |
| | |||
* | Warn about MLton memory usage | 2014-05-25 | |
| | |||
* | New lessSafeFfi | 2014-05-02 | |
| | |||
* | Monadic bind supports patterns | 2014-05-02 | |
| | |||
* | HTML5 data-* attributes | 2014-05-02 | |
| | |||
* | uw_register_transactional() can return error codes | 2014-04-17 | |
| | |||
* | Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL ↵ | 2014-04-15 | |
| | | | | serialization failures | ||
* | Update manual inaccuracies about client-side functions | 2014-04-13 | |
| | |||
* | -explainEmbed | 2014-03-17 | |
| | |||
* | neverInline | 2014-02-09 | |
| |