summaryrefslogtreecommitdiff
path: root/lib
Commit message (Expand)AuthorAge
* List.foldliGravatar Adam Chlipala2020-02-07
* Merge pull request #136 from dredozubov/anchor-linksGravatar Adam Chlipala2020-01-15
|\
* | More lenient RFC 3339 parsingGravatar Adam Chlipala2019-12-23
* | Fix toJson for records with optional fieldsGravatar Adam Chlipala2019-12-19
* | SQL SIMILAR (via pg_trgm)Gravatar Adam Chlipala2019-12-04
* | Json: expose RFC 3339 functionsGravatar Adam Chlipala2019-11-08
* | JSON instance for times, based on RFC 3339 (because Google APIs use it)Gravatar Adam Chlipala2019-10-11
* | JSON records with optional fieldsGravatar Adam Chlipala2019-10-11
* | Optimize JSON unescaping for server-side executionGravatar Adam Chlipala2019-10-05
* | JavaScript 'currentUrl' should return a string, not a URL, since the latter h...Gravatar Adam Chlipala2019-10-04
* | Add Step attribute to crange; fix tests for cnumber and crangeGravatar Mark Clements2019-10-04
* | Unicode escapes in JSONGravatar Adam Chlipala2019-09-25
* | Datetime.ord_monthGravatar Adam Chlipala2019-08-10
* | Remove a misleading comment (#175)Gravatar Adam Chlipala2019-07-26
* | New JavaScript FFI function 'listen'Gravatar Adam Chlipala2019-07-17
* | Allow Basis.currentUrl on client sideGravatar Adam Chlipala2019-03-30
* | Don't escape slashes for JSONGravatar Adam Chlipala2019-03-27
* | JavaScript string subscripting should raise out-of-bounds exceptionsGravatar Adam Chlipala2019-03-10
* | List.mapConcat and mapConcatMGravatar Adam Chlipala2019-02-12
* | List.searchM and ListPair.unzipGravatar Adam Chlipala2019-02-10
* | Top: foldR4 and mapX4Gravatar Adam Chlipala2019-02-09
* | Stop complaining when a nonexistent option is chosen for cselectGravatar Adam Chlipala2019-01-26
* | Merge pull request #168 from fabriceleal/fix-codepoint-jsGravatar Adam Chlipala2019-01-26
|\ \
* | | Option.mapMGravatar Adam Chlipala2019-01-24
* | | Basis.textOfBlob; try creating filecache directory if it doesn't existGravatar Adam Chlipala2019-01-21
| * | fixes for review 1Gravatar fab2019-01-21
| * | fix unit tests. implement urlifyCharGravatar fab2019-01-09
| * | more portable functionsGravatar fab2019-01-02
* | | ListPair.mapMGravatar Adam Chlipala2018-12-31
|/ /
* | saving spaceGravatar fab2018-12-27
* | avoid a pow call if we canGravatar fab2018-12-25
* | bitmaps workingGravatar fab2018-12-25
* | Merge pull request #146 from fabriceleal/utf-icuGravatar Adam Chlipala2018-12-19
|\ \
* | | List.assocAddSortedGravatar Adam Chlipala2018-12-14
| * | exhaustive testing brought to selenium. bug fix in isspace. useful function t...Gravatar fab2018-12-11
| * | migrate is_valid_hash, blessData, property, atomGravatar fab2018-12-11
| * | fix isxdigit: is probably helpful to keep it only to ascii chars. migrate isl...Gravatar fab2018-12-09
| * | just to make sure there are no issuesGravatar fab2018-12-08
| * | patch isDigitGravatar fab2018-12-08
| * | patching toLower and toUpper to provide consistent results in server side and...Gravatar fab2018-12-08
| * | strsub, strcspn, strsindexGravatar fab2018-12-06
| * | ordGravatar fab2018-12-06
| * | strsindexGravatar fab2018-12-06
| * | chars with more than 2 bytes are awkwardly handled by the "normal" string of ...Gravatar fab2018-12-06
| * | reject invalid codepoints. Basis.iscodepoint. fix german char in jsGravatar fab2018-11-30
| * | several fixes on unit tests and implementationGravatar fab2018-11-19
* | | List.mapMiGravatar Adam Chlipala2018-11-04
|/ /
* | Automatic merging of style/dynStyle and class/dynClass (closes #64)Gravatar Adam Chlipala2018-10-19
* | Client-side escaping of HTML should be prepared for structured HTML trees, no...Gravatar Adam Chlipala2018-10-19
* | unsafeSerialized[To|From]StringGravatar Adam Chlipala2018-10-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-19 20:33:49 +0000