 milner
|
4c06f9e15d
|
Normalize keyed batches with atomic validation
|
2017-03-19 10:46:00 +00:00 |
|
|
milner
|
0c88eaa7c4
|
Derive scalar changes and composition laws
|
2017-03-11 21:32:00 +00:00 |
|
|
milner
|
780136e802
|
Normalize query expressions into ANF
|
2017-03-03 15:09:00 +00:00 |
|
|
milner
|
c0dc550578
|
Specialize scalar helpers without variable capture
|
2017-02-25 12:48:00 +00:00 |
|
|
milner
|
35d9cebcc3
|
Evaluate typed queries over persistent maps
|
2017-02-17 18:21:00 +00:00 |
|
|
milner
|
b44640692c
|
Type record projections and collection operators
|
2017-02-09 09:54:00 +00:00 |
|
|
milner
|
9d0221933c
|
Infer scalar types with let generalization
|
2017-02-02 14:36:00 +00:00 |
|
|
milner
|
cb7b1aa3f4
|
Resolve bindings with fresh identifiers
|
2017-01-26 20:13:00 +00:00 |
|
|
milner
|
999bee7052
|
Parse records and keyed collection queries
|
2017-01-18 11:07:00 +00:00 |
|
|
milner
|
a036abb227
|
Parse scalar expressions with source spans
|
2017-01-10 16:42:00 +00:00 |
|
|
milner
|
582b2c8451
|
Add native build and compiler driver
|
2017-01-04 10:18:00 +00:00 |
|