Lamdu commits | Ecosyste.ms: OpenCollective

Sugar.Convert: Extract definition/repl conversion to its own Conert.Definition module

github.com/lamdu/lamdu - 870984914892ea847c5f8487201d8d924e2fe6f3 authored over 3 years ago

Sugar.Convert: Extract nominal pane to Sugar.Convert.Nominal

github.com/lamdu/lamdu - 37dd3ccdd408a25fe15452e4fc34f795ba03449e authored over 3 years ago

GotoDefinition: Support going to tags directly with tag prefix

github.com/lamdu/lamdu - 7686f1fcfead707de9e6ef0daea09ec418a6a303 authored over 3 years ago

GotoDefinition: strict Global fields

github.com/lamdu/lamdu - c2c7726fe2cd1c9d56721824949314ca8b1157ae authored over 3 years ago

Oops: Global tags have context-less names

github.com/lamdu/lamdu - 221dd26e81c8210cc60f90a8b5513402d91c2e30 authored over 3 years ago

Oops: GotoDefinition didn't use unique ids

github.com/lamdu/lamdu - d0662cfc26f3f0fe4d966cb2622f244ffdb52353 authored over 3 years ago

GotoDefinition: Explicit type constraints

github.com/lamdu/lamdu - 573c346551879ce8025074f7e0330c7ba6b8ecec authored over 3 years ago

NominalPane: Initial draft (missing nominal params)

github.com/lamdu/lamdu - 1cb52e3c1beb74e690a8567bfd1dfc9efcdb5efe authored over 3 years ago

NominalEdit: Adds jumpToDefinitionEventMap

github.com/lamdu/lamdu - 13f269b2e363aa720999554d88a89957d6ce3315 authored over 3 years ago

Sugar: Add allGlobals traversal

github.com/lamdu/lamdu - e440feb41d371cb51aaee47b59b6571f6b5aa10c authored over 3 years ago

GotoDefinition: Add nominals

github.com/lamdu/lamdu - fe672458f5256fc5a230e748a4057816bd95f358 authored over 3 years ago

GotoDefinition: Refactor to take Globals

github.com/lamdu/lamdu - e849a0b20bed11b5a41332fd524fa6a0b36254ef authored over 3 years ago

Sugar: Export nominals/tags in workarea too, not just globals

github.com/lamdu/lamdu - 43ebff7b3d9bf00412b5d80cc5c0fae91b628935 authored over 3 years ago

Replace 'undefined' with todo

github.com/lamdu/lamdu - 4bfa994f36e582dcba8dab819be09f33b07fafca authored over 3 years ago

Extract Convert.NameRef

github.com/lamdu/lamdu - 8c21c67aed3dddf031a70f354fda66237fba6a3c authored over 3 years ago

gotoToNominalDef => gotoNominalDef

github.com/lamdu/lamdu - aec66ee6a52b3ae363893076f5fdc259541e2109 authored over 3 years ago

Can delete any global object, not just definitions

TODO: Display on names that they were is deleted

github.com/lamdu/lamdu - 35bcb2cdbba54b59e002eed460cfe0c243c0c7e6 authored over 3 years ago

Extract common paneEntityId field from pane body types

github.com/lamdu/lamdu - 1fb2ecbe905887f599753dafd362f891a145d276 authored over 3 years ago

hlint police

github.com/lamdu/lamdu - 2afa287edbed76ea243dcc19877b692c220ea5fa authored over 3 years ago

Remove unused field in TagPane

github.com/lamdu/lamdu - 836a276ddc792df32a133f2a22ddc8d5840ff560 authored over 3 years ago

Extract Lamdu.Sugar.Types.NameRef

github.com/lamdu/lamdu - 025130099a1b84155e310f971f67c78a3f0a54a6 authored over 3 years ago

Simplify Walk instance of TagPane

github.com/lamdu/lamdu - abe7959a17238f41d408428078b0d975dbafb02c authored over 3 years ago

Extract deleteAndClosePaneEventMap

github.com/lamdu/lamdu - f06c4631f3d84ac98b4d39fb3f0a42bcd35ebbc9 authored over 3 years ago

Test: Fix warning in sugar test

github.com/lamdu/lamdu - 9c09183bf4303da0ea0d7a6c17216860376a607b authored over 3 years ago

Db: Remove false migration support

github.com/lamdu/lamdu - fa006d0708253b0366e9b2aedcba510209d403cd authored over 3 years ago

Db: Filename contains schema version

github.com/lamdu/lamdu - e5d47cf47db356c6ac03b70bb89ae5dfe7e5f5c8 authored over 3 years ago

Sugar.Type parameterized to allow editing. Add a go to definition action for nominals

Action not yet wired in the UI and nominal panes not yet implemented

github.com/lamdu/lamdu - a16fa5287d862ec8c3366f6fa198bca0f84fcf22 authored over 3 years ago

Generalize some types

Towards next commit

github.com/lamdu/lamdu - 106553a9b259e28395ea18cb57a40261596a6cd0 authored over 3 years ago

Put CodeAnchors into env

github.com/lamdu/lamdu - fbe774c0dc179f7a8839ae879aebb294fbf38a7b authored over 3 years ago

Reduce boiler-plate with generic-constraints

github.com/lamdu/lamdu - 628cef1cd916bf3ec78a31558ae9bc9c551803d2 authored over 3 years ago

missing instances

github.com/lamdu/lamdu - c2dc56684e2a267178f5d26c059e17bdd457f091 authored over 3 years ago

Update stackage resolver

github.com/lamdu/lamdu - ff4ceac945699d7df6780c76216d9fb1f8ac4329 authored over 3 years ago

Add missing instances

github.com/lamdu/momentu - 60056deffb52c453839a058fc70ee779b25269bb authored over 3 years ago

Update stackage resolver

github.com/lamdu/momentu - 042813a68a7ac6c3d08e25d8fc6510c4211a96cb authored over 3 years ago

macos: move linker flag to executable

github.com/lamdu/lamdu - 4d8dea620cf6e54aeea41513b0fdd8bd971d431b authored over 3 years ago

Oops redundant -Wall flag

github.com/lamdu/lamdu - 383b6065b12c5a57ca486dda974e1532b6e2b5a1 authored over 3 years ago

Dead code police: Revision.Deltum.Map

Comment on file says its unused and may have future use.
So we could revert this then.

Since sw...

github.com/lamdu/lamdu - 2da489ef5c306455c573060fbe15165b648421f1 authored over 3 years ago

DRY: Use package.yaml rather than .cabal file

Now there should be one less step when adding or removing modules, and there's DRY with common w...

github.com/lamdu/lamdu - 06c9c1bf2a19e80abd48d1e8e8f5b1056ee8c0bf authored over 3 years ago

Add missing module in cabal file

github.com/lamdu/lamdu - 2b644822de4edf7e9284c4ead0fb954f2531e696 authored over 3 years ago

Tidy boilerplate lines

github.com/lamdu/lamdu - f38f3e29a968423c13f586ae1e677fd15afba721 authored over 3 years ago

Add failing test for #130

github.com/lamdu/lamdu - b00bbd3e2204c155aad6084f13d7b084664af6f0 authored over 3 years ago

Fix failing test and #130

github.com/lamdu/lamdu - 8428aaa0432dddd2e4b36815cf6e3387d6b28a67 authored over 3 years ago

hlint police

github.com/lamdu/lamdu - 198f438c54fc58297f260a0fa380338a3a28a9e4 authored over 3 years ago

AssignmentEdit: In right-to-left, left/right navigated scope in opposite of visible direction

github.com/lamdu/lamdu - 752a41222d7b59602f923c2a5a5f73846518c841 authored over 3 years ago

Oops fix download links

github.com/lamdu/lamdu.github.io - a1758dfab5533c7cc42817ff4ddd1b8887e238bc authored over 3 years ago

Content updates for 0.8 release!

github.com/lamdu/lamdu.github.io - 3921fec5e835e53fbab0ee952062070eca1576ee authored over 3 years ago

run-lamdu.sh: Works when used outside the release directory

github.com/lamdu/lamdu - 88873b7f335e3af98c775a53562a2f5d8d1c2123 authored over 3 years ago

tools/make_archive: Package extra dependencies

github.com/lamdu/lamdu - b9fdcae470934ed58e2fe93bcadf62c822e53771 authored over 3 years ago

make_archive: use node from path

github.com/lamdu/lamdu - 54cf08759cb8ab2b7242754244da1269630cfa1e authored over 3 years ago

Stdlib: add foldCont

Similar to foldLazy but instead of the continuation getting unit,
we can pass any value, which c...

github.com/lamdu/lamdu - 19db97a65d52c4421a268580f68522369cc4da93 authored over 3 years ago

Fragment suggest appropriate get-fields when value is record

github.com/lamdu/lamdu - 1744c2f30be24023f36df1d81a28637d5dd298b0 authored over 3 years ago

Fix WYTIWYS behavior for fragment options

Not necessarily the cleanest way to do it but works.

github.com/lamdu/lamdu - ed1891acff2adf1ebcd877a77ba345061996f597 authored over 3 years ago

Add failing WYTIWYS test

github.com/lamdu/lamdu - 942f29d774a842c4f2b78cee3384868298c40766 authored over 3 years ago

Record closer isn't a valid search term & new WYTIWYS test

It wouldn't be typed in a hole, and should be navigation feature when typing expressions like "{...

github.com/lamdu/lamdu - f41771ed077f95b54bb1dcd22be8e4ea6cd1217e authored over 3 years ago

Add WYTIWYS test incorporating deletion

github.com/lamdu/lamdu - 06408fcfc14e103640c0c62b04c37e80ca01013d authored over 3 years ago

When inferred value for hole is function producing variants, suggest injects

github.com/lamdu/lamdu - 28209244df40b47e04dd133d8ed2304cb1cb1f59 authored over 3 years ago

Suggest patterns not exclusive to each other

github.com/lamdu/lamdu - 05ed307a6b1245995ea6bcd1f2b6b6985cda123e authored over 3 years ago

new hlint rule and hlint police

github.com/lamdu/lamdu - 1f43c34c7f3226994d829f9790cefb3c448a6d45 authored over 3 years ago

When inferred value for hole is variant, suggest injects

github.com/lamdu/lamdu - 76710e311f2000e52cbdc5b25b4fdfbc28c94586 authored over 3 years ago

Revert "stdlib: add fix"

Already exists as "recursively"!

This reverts commit 3f73bb1d5ad99bb6b4165c5bb7c3c89d1e3be60d.

github.com/lamdu/lamdu - 51edeeabe8eb892c6fad171fba3afdfa89a7abf5 authored over 3 years ago

Apply on expr in fragment heals when appropriate

github.com/lamdu/lamdu - 10dfd2c6ba6f9190e7a4942b98fe1beddc71ae38 authored over 3 years ago

makeApply only gets what it needs

github.com/lamdu/lamdu - 8df43122ccdf7fa134dbed6f5985931f839d7023 authored over 3 years ago

FragmentEdit: Deletion of the '?' heals

github.com/lamdu/lamdu - ee863d5dd15f3cfd2b467c3cac5e8260f8d3e6f0 authored over 3 years ago

fix tag ordering within fragment results

github.com/lamdu/lamdu - c12225a3b4dfaa8103bf5575a04fa840e768a13f authored over 3 years ago

Add linux ubuntu dockerfile for testing purposes

github.com/lamdu/lamdu - 60455aa7de64cb4a48b926835725e74ce102a464 authored over 3 years ago

Fix fragment emplace crashing when there are functions getting empty record as arg

github.com/lamdu/lamdu - 39aa0a616724bfb099f74270782544745639b5b8 authored over 3 years ago

Add failing test

github.com/lamdu/lamdu - 69c8e43e866663a07251fd9a045f4023f95f558f authored over 3 years ago

stdlib: add fix

github.com/lamdu/lamdu - 3f73bb1d5ad99bb6b4165c5bb7c3c89d1e3be60d authored over 3 years ago

Fix https://github.com/lamdu/lamdu/issues/129

github.com/lamdu/lamdu - 7c5eb2319fd912bac595c002ea689d5a1891c9c6 authored over 3 years ago

Fix https://github.com/lamdu/lamdu/issues/129

github.com/lamdu/momentu - ea7511853af9cb80c4c46f71ce65002aaa8bf631 authored over 3 years ago

IfElse: Deleting the 'if' condition deletes the whole 'if'

* This allows WYTIWYS backspace after typing "if"

github.com/lamdu/lamdu - f4e764c1b1ca65806ddee908b16066fe3118b441 authored over 3 years ago

IfElse sugar: Remove redundant parameter

github.com/lamdu/lamdu - d663a23041a06ba98efde6ff87680de92a1ab3ed authored over 3 years ago

Fix https://github.com/lamdu/lamdu/issues/122

github.com/lamdu/lamdu - 1e7f37d2d8c3bf9d5f9db392ede460f42e68798a authored over 3 years ago

Remove redundant imports

github.com/lamdu/lamdu-calculus - 7f4189c69056366a7f36245bab0e155f8329728d authored over 3 years ago

Internal prelude to reduce import boilerplate and minor hlint police

github.com/lamdu/lamdu-calculus - dab422da28f0417635f60025914dcc40678078da authored over 3 years ago

hlint police

github.com/lamdu/hypertypes - bb87436874caabe39e08972240438d12d80cd378 authored over 3 years ago

hlint police

github.com/lamdu/lamdu - 8f8507414f65599cffd1951962f06e22af6b0276 authored over 3 years ago

README: Improve wording following @glaebhoerl feedback (#10)

github.com/lamdu/hypertypes - 7a9c2afec31d02fd391f471190c129421a9faf22 authored over 3 years ago

Remove stale comment from README

Should had been removed in 0f1797349ca60b8d7867f321d5a16558860748c4
Noticed by @glaebhoerl in #10

github.com/lamdu/hypertypes - 331b2064c34e3a435b7b9e210721614140232787 authored over 3 years ago

Oops fix #127

github.com/lamdu/lamdu - a887691223b9b8062cb4982bdce9cfb5eb76b60b authored over 3 years ago

Close paren navigate up from operator RHS, fixes failing WYTIWYS test

github.com/lamdu/lamdu - 78deb995e3a3ddb7147837b7348f54b70bb8ab7f authored over 3 years ago

Add failing WYTIWYS test capturing a part of #126

github.com/lamdu/lamdu - e79b8c2b81de59782bca1ddae8298918bde4e12a authored over 3 years ago

Extract closeParenEvent function and DRY

github.com/lamdu/lamdu - 0d7dc851d58a25b7811c97d8115cb8e1b8b8153a authored over 3 years ago

Inline local function used once

github.com/lamdu/lamdu - 6ad4961df9c30152b61b250caae3d0a7033de8f3 authored over 3 years ago

Fix display order of parameters of operators, which was previously ordered only by tag order, not presentation mode

github.com/lamdu/lamdu - 7d59d98abd69b876d35cc747914a76d9fe799adc authored over 3 years ago

Fix crash regression*

Before de9db83bd501d, while it wasn't a crash, it still wasn't right:
the presentation mode for ...

github.com/lamdu/lamdu - 1b7ee17b26e8a5a26b71525ac61abc8a3e220847 authored over 3 years ago

Add failing test for crash since de9db83bd501d

github.com/lamdu/lamdu - 8cd293e994568b5365a31532331e3097cd4f5d5b authored over 3 years ago

Update build instructions for Windows

github.com/lamdu/lamdu - 305d7df8001b192ce9956aa3032771dea89c3f35 authored over 3 years ago

Transition from nodejs-exec to tweak's inline-js

Hopefully now someone else would maintain the package working across different platforms :)

Not...

github.com/lamdu/lamdu - 04efa313a0782af8c4a05b5e5796f7818c31bc56 authored over 3 years ago

macOS: build executables compatible with older macOS

Arbitrarily chose 10.9 "compatibility target". Verified on 10.15

github.com/lamdu/lamdu - 7cb119ddf07959f42a278c4503c10ab536719b4d authored over 3 years ago

make_archive asserts that Lamdu executable should run on older macOS versions

github.com/lamdu/lamdu - 5d78df18af716b7d8903ab7e600d2bc19120a990 authored over 3 years ago

Fixes from Eyal

github.com/lamdu/presentations - b470f777c6386e62d0b35436d214ad4e78a42986 authored over 3 years ago

Add assertion that bundled node has no external dependencies, and no need to re-sign nodejs if signed

For the right nodejs on macOS one currently should use the official nodejs installation and not ...

github.com/lamdu/lamdu - 6607641a5cc112dcefacac8e14c8aca904b5e89a authored over 3 years ago

macOS release scripts (signing and notarisation)

github.com/lamdu/lamdu - 3da10e0ca849a001fa9f6df993532b90087c6ce7 authored over 3 years ago

hlint police

github.com/lamdu/lamdu - f5aa226fdf6fd1ddaa6ec1d826ddd3a7509e2689 authored over 3 years ago

Update stackage resolver

github.com/lamdu/lamdu - 2e9661a45223462878e5e671b517aa99448dc413 authored over 3 years ago

I18N video transcript and assets

github.com/lamdu/presentations - bbaeb4bdaef682b3c4f84a95e73058a9d9d9e5d1 authored over 3 years ago

Better Italian than google-translate :)

github.com/lamdu/lamdu - ee6c4370f376f7728de0d54cf6e49bc941ff6985 authored over 3 years ago

Theme names in italian (with help from Google translate)

github.com/lamdu/lamdu - 7c2d1d266f956b461de0dfbd2d5fe06d37869885 authored over 3 years ago

hlint police

github.com/lamdu/lamdu - 7dcb49804084c9a428b135fead80f0379b20aaac authored over 3 years ago