summaryrefslogtreecommitdiff
path: root/lib/prelude.dx
AgeCommit message (Expand)Author
2023-12-13Change `data` to `enum`Dougal
2023-12-05Use # instead of -- for commentsDougal
2023-12-02Update prelude to use sugarfree versions of RangeX typesDougal
2023-11-08Fix a couple of bugsDougal
2023-09-25Defang type inference.Dougal
2023-07-18Replace DynBuffer with stack throughout prelude, and delete DynBuffer.David Duvenaud
2023-07-05Make new stack size arithmetic match the old one exactly.David Duvenaud
2023-07-05Replace floating point sizing formula in stack with integer operations.David Duvenaud
2023-06-30Tweak loop order and indexing syntax to get the vectorizer to succeed on the ...Alexey Radul
2023-06-23Following up on PR 1296, implement both APIs for search_sorted.Alexey Radul
2023-06-05Cache types in atoms and expressions.Dougal
2023-05-16Actually code the custom linearization for matmulAlexey Radul
2023-04-12Remove records.Dougal
2023-04-12Coalesce dependent pair contexts in Imp representation.Dougal
2023-04-11Update convolution benchmark to new syntax.Alexey Radul
2023-04-11Revert tiled matmul implementation because it triggers a segfault when runnin...Alexey Radul
2023-04-07Add blocks to UExpr IR.Dougal
2023-04-04Merge pull request #1261 from google-research/more-field-access-stuffDougal Maclaurin
2023-04-04Update the syntax-philosophy document to the new syntax.Alexey Radul
2023-04-04Use dot-methods in implementation of StackDougal
2023-04-01Project (slice) references using the referent's field namesDougal
2023-03-31Use the same name for the type constructor and the data constructor of a structDougal
2023-03-30Allow tuples to be projected using `x.0`, `x.1`, etc.Dougal
2023-03-26Update more examples to new syntaxDougal
2023-03-25Update more examples to new syntax.Dougal
2023-03-24More tests and libraries ported to new syntaxDougal
2023-03-24More tests passingDougal
2023-03-23Track preceding whitespace in the parser.Dougal
2023-03-22More tests updatedDougal
2023-03-22Fix some bugs and update uexpr-testsDougal
2023-03-22Switch to n-ary functions in the surface language and Core.Dougal
2023-02-26Remove isomorphismsDougal
2023-02-26Remove variants.Dougal
2023-02-14Merge pull request #1234 from duvenaud/popDougal Maclaurin
2023-02-14Add `Data` constraint to throw/error.Dougal
2023-02-13Add `Data` constraint to table literals. Fixes #177.Dougal
2023-02-13Add pop function for stack, and some tests.David Duvenaud
2023-02-11Apply the Data constraints to remaining primitives that require it.Alexey Radul
2023-02-11Add the Data constraint to Ref, and downstream.Alexey Radul
2023-02-11Implement and test synthesis for the Data constraint.Alexey Radul
2023-02-05Rewrite general_integer_power with a `for` because Dex can't differentiate th...Alexey Radul
2023-02-02Merge branch 'main' into strip-newtype-for-real-actually-trulyDougal
2023-01-25Make linearize produce SimpIR instead of CoreIR.Dougal
2023-01-24Obey CoreIR/SimpIR distinction in TabLam/ACase reconstruction terms.Dougal
2023-01-23Bundle the `Transpose` primitive with its cotangent argument.Dougal
2023-01-12Strip newtypes during simplificationDougal
2023-01-11Allow other effects in `with_stack`Dougal
2023-01-10Also tag `print` noinline, since the IO effect doesn't seems impede it.Alexey Radul
2023-01-10Don't inline the `error` procedure, and SCC-annotate new compiler passes to m...Alexey Radul
2023-01-10Remove interpreter.Dougal
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-23 07:32:42 +0000