summaryrefslogtreecommitdiff
path: root/dhall/src/builtins.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Unify `skip_resolve_expr` with normal resolutionNadrieril2020-12-071-7/+12
|
* Thread cx through normalizationNadrieril2020-12-071-27/+24
|
* Thread cx through typecheckNadrieril2020-12-071-4/+12
|
* Allow `Text/replace ` to support an abstract haystackBasile Henry2020-11-011-22/+28
|
* Prefer u64/i64 to usize/isizeNadrieril2020-10-281-3/+3
|
* Refactor Text/replace evalBasile Henry2020-10-251-42/+29
|
* Implement Text/replaceBasile Henry2020-10-251-2/+62
|
* spec!: remove Optional/build and Optional/foldNadrieril2020-06-251-43/+0
|
* Move duplicate field checking to parserNadrieril2020-04-071-4/+4
|
* Move BinOp and Builtin definitions in the relevant moduleNadrieril2020-04-061-4/+118
|
* Move builtins module up a levelNadrieril2020-04-061-0/+494