summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Simplify: also down-commute projections into EMaybeHEADmasterTom Smeding9 days
* Add AST.UnMonoid convenience repl import to ExampleTom Smeding9 days
* ERecomputeTom Smeding9 days
* Print EMaybe as caseTom Smeding9 days
* Implement mapExt as travExtTom Smeding9 days
* Compile: special-case to a single kernel functionTom Smeding2025-05-06
* Reorder TLEither to after TEitherTom Smeding2025-04-29
* simplify: Better simplify nested monoid opsTom Smeding2025-04-29
* pretty: Print types of monoid opsTom Smeding2025-04-29
* Simplify: Don't forget about effects -.-Tom Smeding2025-04-29
* Tracing simplifierTom Smeding2025-04-29
* test-framework: Support --hedgehog-shrinksTom Smeding2025-04-29
* Complete monoidal accumulator rewriteTom Smeding2025-04-29
* WIP interpreter support for new monoidal accumulatorsTom Smeding2025-04-28
* WIP revamp accumulators again: explicit monoid typesTom Smeding2025-04-27
* simplify: Additional rules inspired by Example.neuralTom Smeding2025-04-25
* pretty: Print build dimensionTom Smeding2025-04-25
* Don't unSTyTom Smeding2025-04-25
* Remove done TODOTom Smeding2025-04-25
* test: Fix template constraint systemTom Smeding2025-04-24
* test: Catch IO exceptions in hedgehogTom Smeding2025-04-24
* Compile: Give IDs to C modules for easier debuggingTom Smeding2025-04-24
* Compile: Reset accidentally enabled debug switchTom Smeding2025-04-24
* test: Also run arr-rebind-simple, why notTom Smeding2025-04-21
* compile: More checks, don't crash on check failTom Smeding2025-04-21
* test: A test for new accumMap logicTom Smeding2025-04-21
* test: Types synonyms cleanupTom Smeding2025-04-21
* idana: Unify in either fallback caseTom Smeding2025-04-21
* splitLets: Don't split if unnecessaryTom Smeding2025-04-21
* pretty: Generate type-tagged fallback namesTom Smeding2025-04-21
* Let peeling (let x = Just e in e' ~> let x = e in e'[Just x/x])Tom Smeding2025-04-21
* Add integer modulo operatorTom Smeding2025-04-21
* Import orderingTom Smeding2025-04-21
* test: Move generator helpers to top-levelTom Smeding2025-04-21
* Some progress with accumMapTom Smeding2025-04-18
* An unused function (descrPrj)Tom Smeding2025-04-18
* Better simplification of onehotsTom Smeding2025-04-18
* pretty: Print arguments of open expressionTom Smeding2025-04-18
* Populate accumMapTom Smeding2025-04-06
* Split product lets before chadTom Smeding2025-04-05
* test-framework: Behave decently when output is not a ttyTom Smeding2025-04-05
* Benchmark Compile, not InterpreterTom Smeding2025-03-30
* Compile: Generate slightly less redundant C codeTom Smeding2025-03-30
* Pass around an accumMap (but it's empty still)Tom Smeding2025-03-28
* Compile: Commutative fold still broken, but sum is vectorisedTom Smeding2025-03-28
* Compile: vectorise commutative foldsTom Smeding2025-03-27
* Pretty: fix printing of EMaybeTom Smeding2025-03-27
* Compile: Fix formatting of generated codeTom Smeding2025-03-27
* Fix refcount bug with indexing for nested arraysTom Smeding2025-03-27
* test: regresion-accum1 (still failing)Tom Smeding2025-03-27