github.com/lamdu/lamdu commits | Ecosyste.ms: OpenCollective

Allow record params tags to clash

9a2864cab2cc0d204a8870f33117238be4167f8c authored about 3 years ago

Add hlint rule for "a ^.. b & mconcat"

eecd80e73a2c0c0fbdb2d11ca71d9b5f035def3d authored about 3 years ago

Extract code from initialP2Env into toSuffixMap

Towards possibly making further changes in toSuffixMap,
to make tag suffixes look like an integr...

eef544a827c6ab301ecfed6112eb0a72184ae4d9 authored about 3 years ago

Tweak order of name suffixes, globals before locals and consistent order

504791d6e5f13a54578f8993cfc6ef2861ef317d authored about 3 years ago

Use NamedFieldPuns to more easily track P1Out field usages

4f5fdf9ee35d5fcc769ee2fabbc00bad8f1c770f authored about 3 years ago

Stdlib changes: zip gets handler for tail remainders, added transpose function

936da83f4126e11e558c735615850551394c1915 authored about 3 years ago

Fragment options to apply fragmented functions with arguments.

b66320878dd480a76f32ea18fd94eb0be0e39e03 authored about 3 years ago

Change design of applying function over fragmented expr

8087694b5d2c41ab18fb0d1805292016a897af02 authored about 3 years ago

Extract Convert.Hole.Results towards reuse in fragment argument results

ef30b7f91c1fe566a16737685b7bdc54f7847451 authored about 3 years ago

FragArgument embeds rather than has child node

04a421bbb91db57b671daa335627815f794ad992 authored about 3 years ago

Types for fragment results of arguments to applying fragmented expr

dd662888a9bbec5f58f80e70a08f8ecdca6974c6 authored about 3 years ago

Simpler mechanism to sugar FragDefer

d578ac4e92867a3a8261eac71b56f559f0690e5d authored about 3 years ago

Partially revert "Suspension result presented as such in fragments"

Towards nicer mechanism to sugar deferred lambdas in fragments

This reverts commit 115916122fd2...

ba27870afc6af77af28ad467adc9a8f6805741a1 authored about 3 years ago

Don't auto-apply non-record params functions (fixes #138)

e3a49bc344b2684bb3f873f7685d8741e497906a authored about 3 years ago

Create new tags directly from hole and fragment results! Fixes #135

9ba4d86101b6324f920e95962ffe3ab92f70c9a5 authored about 3 years ago

Remove another unneeded type parameter in type

15e06e157a7ee776729793f21f3fcdd961e1bc62 authored about 3 years ago

Remove unnecessary type parameter

21289677af0cf85730e4b403140c7dfc2ca8ff97 authored about 3 years ago

Remove unnecessary type annotations

e3de3a42e002529d7d703868377f12ce96ec6083 authored about 3 years ago

Small DRY

864e2d3e996b4aad1a006626287eb28314aea2ad authored about 3 years ago

Minor cleanup

4bd36cbf4244cf3704aafa638b339139f344f2f5 authored about 3 years ago

Fix #140

efe44e197ff81ad873c48ef5138fdf859faaa9f8 authored about 3 years ago

Move some types from Sugar.Types.Expression to Parts

The design rule is that only the types included in the corecursive group,
that is, those that ca...

1e95762ed37eb5388315895025fb03506d72c89c authored about 3 years ago

Add Spanish abbreviation próx

c731af3be3b933ab3e2ce4e8d79fa4d40e0f91d0 authored about 3 years ago

Unicode alts: add some alternatives to latin letters with extra marks, found in Spanish

2198efbafdd7ac557115f58347b5cefbc1503cf0 authored about 3 years ago

FuzzySearch: Supports duplicate search strings without duplicate results

73ca08e5b56c62c13763abade168c0770d503681 authored about 3 years ago

Freshdb normalization

When editing freshdb.json manually,
it may not be idempotent to importing in Lamdu and re-export...

00bc8d06db862a3dbbbf31de78251d3b672407ab authored about 3 years ago

GotoDefinition and TagEdit support unicodeAlts

5c20328c993badf5da1922192e9f20d76d348085 authored about 3 years ago

Extract UnicodeAlts to module and comment

beca7a2489962d22a314c7ba65af0ac207b2abc0 authored about 3 years ago

Spanish abbreviations

Following the comments on #137, here are abbreviations for Spanish.

40b318836995175b01681efd8635f29645389693 authored about 3 years ago

Spanish translation

This translation is based on the Italian translation. A typo on the
Italian is also fixed.

e555f118d973e0d51860414560bfe5a4b45b9875 authored about 3 years ago

auto-names appear as their old name inside hole results, rather than the name they get after selected

0af90e26d5253b8dc4d079208733ada700faf7e4 authored about 3 years ago

Momentu: Update to fix red cursor when re-opening search menu in tag selection

3e1b727422a5659cddf73a9c49e7ac8ae6f67e30 authored about 3 years ago

Suspension result presented as such in fragments

115916122fd2e9a8f268ec54b734c1c7d2f2221f authored about 3 years ago

Rename: Sugar.{BinderParams=>Params}

a114d965859586dc91070844fc2cdd1c7e91ab23 authored about 3 years ago

'|' can be used for wytiwys lambda creation

446b12730a6db0a1839b6138c2cd3e4ac8b07d58 authored about 3 years ago

do not suggest noisy if/else in hole with empty query

64c030abafc8e0ccab46f9cb1d20d8358e4f485c authored about 3 years ago

syntax results before locals when empty search string

9df4a91998c4969973a34aa5fd6ad1e87b96aa91 authored about 3 years ago

Hole/fragment results sugared with outer type

* This allows sugaring lambda suspensions correctly, for example

43cbc48278519d3cb12976501c5466bb6107c332 authored about 3 years ago

Hole/Fragment: Extract simpleResult

16c28d7d2b7df0910131f0248ddc99d69b9eabe4 authored about 3 years ago

Tests.Sugar: failing test: suspension lambda is first hole result

7298a6e663e0ec189dae2e2741a83b0589a88fc2 authored about 3 years ago

Tests.Sugar: failing test: null param lambda in hole results

944f654779065f0662cb8a5a98aa7dfc61c2ad25 authored about 3 years ago

Tests.Sugar: getHoleResults utility

04135dee2028fb2fe4a0bc62a3c3e482813945b8 authored about 3 years ago

Tests.Sugar: Extract TestWorkArea

5a3c0aa6764cda2a4758eed962661f245dbf18b6 authored about 3 years ago

Extract hasQueryLangInfo

f387db45bfe40da2a8009723286689fe6807ca15 authored about 3 years ago

Proper parameter order in nominal panes

dd7da2e86c8a283e89aa8fef1f07e1f84dee1d7c authored about 3 years ago

Order pass done in a orderWorkArea

Towards making it also order nominal panes

8ba5bc8f6026984ca22b896f45a7c74130f1e86b authored about 3 years ago

Nominal parameter edits

Supports deleting and changing kind.

* Note that just navigating on kinds changes them and make...

908bd678707e78094ab0ed8247f45e337e984168 authored about 3 years ago

Nominal pane: Use colon for separation

2c15a42902b3dbe2540f67dd0c5d19c95a86a696 authored about 3 years ago

Extract Sugar.Convert.TaggedList

55dbc82ed6a39b2270e6d59f92ea2bebbfc6643d authored about 3 years ago

Cleanup: more exact types replace mAddLet action in NodeActions

The types communicate that let items are added in binders and in else-if conditions.

This is a ...

56aaf3b44a4d96f1aabea8764816cc2d009241f6 authored about 3 years ago

Add (passing) test for #134

76c73bfa941680f20e19730dd5c25f65e74e0fd8 authored about 3 years ago

Fix red cursor bug exposed in new test

When flipping args of operator, if another edit happened due to it (fragment added or removed),
...

9785ff2347e8d20d7fdd58c3ad622350d0207975 authored about 3 years ago

Add failing test for red cursor situation

Was going to add this test program for creating a test for https://github.com/lamdu/lamdu/issues...

14ac8afa34df38d649954cda1630401f89e2510f authored about 3 years ago

Stdlib: add some names and abbreviations

These abbreviations make the example at https://github.com/lamdu/lamdu/issues/134
a bit nicer ("...

f4b5ded1c79fd6909a2278528bb7b25c59eea011 authored about 3 years ago

CaseEdit: ordering support

3c8b629d99bed027aa3fea209bbf66339b8332e7 authored about 3 years ago

Fix prepend parameter order broken in f5db4b5092

6b5a2b86828d56e712c14ed4786ea77e3628e186 authored about 3 years ago

Use applicative style

05ce94561448778f1901374c780d2b123c46a2ce authored about 3 years ago

Remove mostly redundant Function fAddFirstParam field

* Record params already have it in TaggedList
* For null param, looks like it wasn't used?
* Add...

f5db4b5092234c28d415822dbc6663bc2e4b67cb authored about 3 years ago

share from outside style

3777fc4b9fe3b7e665054c7b353de87ed482f0ed authored about 3 years ago

hlint police

fc3de4e9e32bcf047b0a3cc23df2c1eaf82102d0 authored about 3 years ago

StatusBar: WIP hamburger

234e00ed2433e249c960de9eac725835d6cb0cd7 authored about 3 years ago

Revert "StatusBar: hlint police"

This reverts commit caeaa1f22a6707fd75e9b6a34643290bec166e1b.

9e098e7da2666396780fcc7c3f067f93c85dd6e9 authored about 3 years ago

Revert "StatusBar: StatusWidget contains action to generate widget rather than the widget"

This reverts commit a44b1f8e2273b0644febd979d9f78f2b33e6e075.

88b051716da18f4d3f285c8610a16c59af835ac7 authored about 3 years ago

Help hidden/shown using single icon

bf308b6cf1372bc94a11f601f3e572e02838760d authored about 3 years ago

Types DRY: Unify AddNextParam and AddFirstParam

7bab626c32b774b606920cb8d674ab768477bba1 authored about 3 years ago

Remove partiality in sugar

bd611a9561375d7479bc48cc11c33d5cfd80a151 authored about 3 years ago

Move functions used only in AssignmentEdit to it

aee7a44f2c461ec0edb1bf7bf9922032a875b18f authored about 3 years ago

Records: Can reorder fields and add fields at various positions

TODO: Seems prepending field (by starting to type when on first tag) doesn't put it first as it ...

073dd6c8cf9c8405a175dab62d22bdd72e9ffa1b authored about 3 years ago

Reduce partiality in AssignPlain type

abcd68046a28144a862f2d8604201090a093ffd5 authored about 3 years ago

StatusBar: hlint police

caeaa1f22a6707fd75e9b6a34643290bec166e1b authored about 3 years ago

StatusBar: StatusWidget contains action to generate widget rather than the widget

a44b1f8e2273b0644febd979d9f78f2b33e6e075 authored about 3 years ago

StatusBar: refactor makeSwitchStatusWidget

0cc4682ed393462e35f4b018dedf9959808b026d authored about 3 years ago

Oops mixed up keys for reordering params

be3a3a514e74980ef33d4633cd01365535161f6c authored about 3 years ago

GUI.Settings: Refactor makeStatusWidgets to use sequenceA

9d6d65301285824ac9f80eb73854f7a05cd50f37 authored about 3 years ago

Fixed ordering keys being flipped in right-to-left languages

5664da9cf547e24dd541d3086d133869cd2ad516 authored about 3 years ago

StatusBar.StatusWidgets: Refactor to a traversable

d64ed121f3242d15ccc3fa36832913eba043a36a authored about 3 years ago

TaggedList gets keys (for reuse for record/case)

f952ecfc49d1dab19a329514820ed402cc5070ea authored about 3 years ago

TaggedList UI gets help category

f7bb8688b71ae0ab8fa5a08657ef48af4ce07ca0 authored about 3 years ago

More hierarchal help texts

e3ebc3051d7bede9326acd7fd8f3d2d728cb3f98 authored about 3 years ago

addParamId => addItemId, towards reuse of TaggedList GUI

f2fc796f8402425c3a97ddf048a82c42edbdb50c authored about 3 years ago

Help texts: Use hierarchy to group actions together and reduce i18n effort

Should also enable more code reuse

dc625b20eb3e6c352b4a39d9a129b6929117e5cd authored about 3 years ago

Oops fix wrong help text

656ddce043d48bff5e392d4574d3184fc80e5680 authored about 3 years ago

hlint police

7f17b85bd6d2b57e1ee102419a192499b26d8b48 authored about 3 years ago

DRY from previous commit

4403b8a24257748b7b107f8ca24a6eeaa366617a authored about 3 years ago

Extract Lamdu.Gui.TaggedList towards reuse for records and cases

d4288ba2ce1eaabb828eeb587c0811f37e224124 authored about 3 years ago

Remove ParamEdit.Info

991810b6607171919b1f0b9babfb636526385ca5 authored about 3 years ago

ParamEdit.Info becomes internal

0444cfc2d1f4f90ec3e126c2286711924e063a26 authored about 3 years ago

Simplify ParamEdit.Info towards getting rid of it

e4965db4fb84fce27c9a840448f94d99c9d20b57 authored about 3 years ago

Remove namedVarParamEditInfo

9ebf259a651912d03c88043b2d62fa6490b65ec5 authored about 3 years ago

Extract ParamEdit.addAddParam towards replacing ParamEdit.Info

a82977962d53c4edbbde80c6f399688db72c297a authored about 3 years ago

Extract ParamEdit.paramDelEventMap towards replacing ParamEdit.Info

b44c148d550a8b41d6f906fb321ae9411e3cbbaf authored about 3 years ago

Remove nullParamEditInfo

d81856967e5c00da36f993bf2053bc20984bc138 authored about 3 years ago

Extract ParamEdit.addAnnotation towards replacing ParamEdit.Info

6c9d74d956ec7ed0b61684d85e5967dd063352c4 authored about 3 years ago

Record params reuses TaggedList

b554a8ce290594693a88e8b218da34440d0668c6 authored over 3 years ago

Better navigation destinations when deleting record fields and case alts

61008f4d0b3cd956ff5846febd709411ac724be4 authored over 3 years ago

Fix animation bug when deleting record fields or pattern match alternatives.

The tag's instance-id was generated by the row-extend's rest expression identity.
If a field was...

4cb07194f0edd60e3653ec3da0208943e3c29bc4 authored over 3 years ago

Refactor: group parameters in Convert.Tag to record

e5db09f67f402f75034e0b4fcf259161a0ed2e57 authored over 3 years ago

Minor cleanups

6e6629851e1d4414f3b33ff7cd426a06e5328cc4 authored over 3 years ago

TagChoice wrapped with i action, towards animations improvements and cleanups

481b245f65895c11a14e17dd9ffb16df58b9ee6e authored over 3 years ago

Cleanup: Remove duplicated parameter

d6b0dad9de3306c57dd90a89ff548c8eacb83d94 authored over 3 years ago