Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

Lamdu

The Lamdu collective develops Lamdu, a new kind of programming language which breaks out of the boundaries imposed by text files.
Collective - Host: opensource - https://opencollective.com/lamdu - Website: https://lamdu.org - Code: https://github.com/lamdu

TaggedList: make HasCallStack

github.com/lamdu/lamdu - bf75c7b0610f6bb9e4b904389f49ce6fac6d7c4d authored over 2 years ago by Eyal Lotem <[email protected]>
TaggedList: Do not export makeBody, reuse make instead in CompositeEdit

github.com/lamdu/lamdu - c480049e0e1d59810b177ce8abc07020706bcbc3 authored over 2 years ago by Eyal Lotem <[email protected]>
Bump to lts 19.22

github.com/lamdu/lamdu - c6a7208ea3138dc572382e5f96b23d6cf8e62713 authored over 2 years ago by Eyal Lotem <[email protected]>
Move Data.List.Extended functions used in lamdu only from momentu

github.com/lamdu/lamdu - 547c64e235166ed5ae490766847aaf5aaa3b1481 authored over 2 years ago by Eyal Lotem <[email protected]>
Rename Data.List.Extended to Data.List.Extended.Momentu

github.com/lamdu/momentu - 26770b9405a86c26759bb0429f988d4b0ae8c1d1 authored over 2 years ago by Eyal Lotem <[email protected]>
TaggedList: Rename fpDel=>delAction

github.com/lamdu/lamdu - b5bcee76480e13ab828e7ea6faadf9e21c12cc3a authored over 2 years ago by Eyal Lotem <[email protected]>
Bump momentu dep

github.com/lamdu/lamdu - 90abee7eefc6f078596e7ab6435eb7027812a77a authored over 2 years ago by Eyal Lotem <[email protected]>
Add HasCallStack to record delete action functions

github.com/lamdu/lamdu - 5d7da590e97c6ed69c7d92ef623e85e0d056a650 authored over 2 years ago by Eyal Lotem <[email protected]>
Show which hole/fragment options are mismatching (fix #188)

github.com/lamdu/lamdu - 76749926a3fe4d1929d2de08fcf805d72c66764d authored over 2 years ago by Yair Chuchem <[email protected]>
Switch to tasty

github.com/lamdu/momentu - 3d5a6dd9e50bf0c1903654b8fab77d57f6149c9a authored over 2 years ago by Eyal Lotem <[email protected]>
Jump to top of call stack also prints rest of call stack

github.com/lamdu/momentu - 56803b4bec3e96684711fef8b8bbe7847fad5d96 authored over 2 years ago by Eyal Lotem <[email protected]>
Use type synonym

github.com/lamdu/lamdu - 87c722a801d7e0f1091d14ecc33621656ec94987 authored over 2 years ago by Yair Chuchem <[email protected]>
Bump to lts-19.22

github.com/lamdu/momentu - bbe401a7c36d05bac0d9eacf00a5405c2b855861 authored over 2 years ago by Eyal Lotem <[email protected]>
Remove Unit, Proxy from Prelude does the same thing

github.com/lamdu/lamdu - 7bd59895f0028e7116a04d3e1998b58a4f70d212 authored over 2 years ago by Yair Chuchem <[email protected]>
TypeParams: prevId in action to signify we only get there upon deletion

Also when we have type-params in read-only UI (inferred schemes),
there will be no actions (are ...

github.com/lamdu/lamdu - 144c0f6313d02a5189e380eb643366259294ba21 authored over 2 years ago by Yair Chuchem <[email protected]>
Fix bug when heal edited multiple direct childs of same parent node

If we had written:

(.case[] ?) {}

And wanted to remove the fragment from ".case[]",
it wou...

github.com/lamdu/lamdu - b17939aff98abc95e6d47dc248d51175a83c6e5d authored over 2 years ago by Yair Chuchem <[email protected]>
Add failing test

github.com/lamdu/lamdu - 9f0a69c08d1605ad9a0e984749fc657e41aeed26 authored over 2 years ago by Yair Chuchem <[email protected]>
Add passing tests for blame algorithm

github.com/lamdu/hypertypes - c37fb8e286ec8c58fdfbc8bdf08a29eb03df068e authored over 2 years ago by Yair Chuchem <[email protected]>
Prepend a '.case' keyword prior to alts

github.com/lamdu/lamdu - 198d3ec2111f8d47cd1437edde4ce9f99468d421 authored over 2 years ago by Eyal Lotem <[email protected]>
CaseEdit: Replace with reuse of CompositeEdit

github.com/lamdu/lamdu - dfa682916531d4e965ace1795a05df27c5a02271 authored over 2 years ago by Eyal Lotem <[email protected]>
TaggedList: Generalize from Lens of Text to simple Texts

github.com/lamdu/lamdu - 9ad7b1e2c0016edeb6afa8c5be024d078596b495 authored over 2 years ago by Eyal Lotem <[email protected]>
No need for RankNTypes / Lens.Extended.OneOf wrapper

github.com/lamdu/lamdu - 317773ec7a0325befe55a7ec832944c2e3f11126 authored over 2 years ago by Yair Chuchem <[email protected]>
do-notation more straight-forward

github.com/lamdu/lamdu - 1f3195da6059a7d595b3bc7d7febd3cd9cef815f authored over 2 years ago by Yair Chuchem <[email protected]>
TaggedList: Documentation categpry is a list of text lenses

* Help's "Edit.Field" => "Edit.Record.Field"

github.com/lamdu/lamdu - ecfe35e18b76f2745df884495119264079bf4122 authored over 2 years ago by Eyal Lotem <[email protected]>
RecordEdit: Extract to CompositeEdit

github.com/lamdu/lamdu - 207c5990a934f7879158eb21388db49c42051792 authored over 2 years ago by Eyal Lotem <[email protected]>
Rename recordSep to compositeSeparator

github.com/lamdu/lamdu - 768425e19a870b3ff24b4a3c8aea76c2edf8e9f1 authored over 2 years ago by Eyal Lotem <[email protected]>
Lens.Extended: OneOf is an ALens

github.com/lamdu/lamdu - 53edfade5a5005d10053fbf034700d5b852df507 authored over 2 years ago by Eyal Lotem <[email protected]>
TagEdit: Replace makeRecordTag/makeVariantTag => makeColoredTag

github.com/lamdu/lamdu - 4c2935f826b4cded6c87927256fc719e96339742 authored over 2 years ago by Eyal Lotem <[email protected]>
Simplify RecordEdit

github.com/lamdu/lamdu - 3957ce8e21e0921683d1da48094cb7254e453d7d authored over 2 years ago by Yair Chuchem <[email protected]>
Gui.TaggedList.make takes next/prev destinations for delete in actions

To communicate that these ids are only used in results of actions

github.com/lamdu/lamdu - d5d9d8bbdeb65c1bfa8907933e0cabab27ac5648 authored over 2 years ago by Yair Chuchem <[email protected]>
Remove Cmd+A as a composite-add-item key

github.com/lamdu/lamdu - 48ef0545edc0dcbdc382e8ec209701a3b7810c77 authored over 2 years ago by Eyal Lotem <[email protected]>
Unify some key definitions between record and case

github.com/lamdu/lamdu - 951e12b3910dea8d5d78ac2d64bbe477858b66b4 authored over 2 years ago by Eyal Lotem <[email protected]>
Avoid prints in tests

github.com/lamdu/lamdu - 2dba7d7ce3e5c8456e1b647326290d9aedaf6d9e authored over 2 years ago by Yair Chuchem <[email protected]>
Remove redundant putStr's that mess the test outputs

github.com/lamdu/lamdu - 2c9c14d9b1808f65d927dff321093784b4b3f366 authored over 2 years ago by Eyal Lotem <[email protected]>
Tests: Use show instead of filter isAscii for better test output

github.com/lamdu/lamdu - d9aabd4569270470f83e00f1972ed8b5163a17d8 authored over 2 years ago by Eyal Lotem <[email protected]>
Switch from test-framework to tasty

* Nicer tests output
* Supports parallelization with proper outputs

github.com/lamdu/lamdu - 19076ed2cd809a58c9c4263b59c21403113b5c54 authored over 2 years ago by Eyal Lotem <[email protected]>
Oops incomplete type annotations left behind

github.com/lamdu/lamdu - 2e1090f736b52ce4413d14b0f004571875b9b341 authored over 2 years ago by Yair Chuchem <[email protected]>
Extract classes out of GuiM (prep towards type editing UI), generalized TagEdit and GUI.TypeParams

It will be used also for tags in types, such as scheme parameter names,
where those will have tw...

github.com/lamdu/lamdu - e5cf5b09dc43183f838e32f21f2efd690e88ee13 authored over 2 years ago by Yair Chuchem <[email protected]>
GuiM is MonadReader for env parameter

(avoiding duplication in instances)

Preparation for perhaps having other environment monads for...

github.com/lamdu/lamdu - be10d708a3ea1db292039bf3ac95a05e5ac31c81 authored over 2 years ago by Yair Chuchem <[email protected]>
Avoid IncoherentInstances

Usage was introduced in 058e299c0641ff

github.com/lamdu/lamdu - ea86611e36c2c4d671ee099434876592b7048867 authored over 2 years ago by Yair Chuchem <[email protected]>
Reduce number of Gui enter-point tests

Speeds up entire test suite by 1.5x

github.com/lamdu/lamdu - df82e92cdb4fcfd199d28a40154ddb448c25f94f authored over 2 years ago by Eyal Lotem <[email protected]>
Closing a pane sends cursor to next, not prev

This also fixes the behavior of closing first pane, which went to the
New definition button afte...

github.com/lamdu/lamdu - 552a54a452d17600beff04223bfd82cb3718b998 authored over 2 years ago by Eyal Lotem <[email protected]>
Enabled Sugars menu behind a FocusDelegator

github.com/lamdu/lamdu - b510098a8f3073ca900a621e7f658d61dff8ceec authored over 2 years ago by Eyal Lotem <[email protected]>
Extract StatusBar.Sugars

github.com/lamdu/lamdu - cab3829195125f30b3303f2889836e6a584505ec authored over 2 years ago by Eyal Lotem <[email protected]>
.gitignore: Add hie.yaml

github.com/lamdu/lamdu - 365a14695017265f8ca9382e434d3e04067ab530 authored over 2 years ago by Eyal Lotem <[email protected]>
Sugar.Type: Remove 'o' parameter, use openPane instead

github.com/lamdu/lamdu - 6456aae47f8c8a90f62de8cb7e6e3650d503e267 authored over 2 years ago by Eyal Lotem <[email protected]>
GA(deps): Bump actions/cache from 3.0.6 to 3.0.7

Bumps [actions/cache](https://github.com/actions/cache) from 3.0.6 to 3.0.7.
- [Release notes](h...

github.com/lamdu/lamdu - 089484f53e795f823206f6788b0ed1bbe57ed02f authored over 2 years ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
GA(deps): Bump actions/cache from 3.0.5 to 3.0.6

Bumps [actions/cache](https://github.com/actions/cache) from 3.0.5 to 3.0.6.
- [Release notes](h...

github.com/lamdu/lamdu - 5e12bcb6120f8b952a2dda803ab3747ea7dbb6fb authored over 2 years ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Extract GUI.TypeParams module

Towards re-using for scheme foralls

github.com/lamdu/lamdu - a06e41279dd4a30230391abbdb2d361b5a639d06 authored over 2 years ago by Yair Chuchem <[email protected]>
More import normalization in gui code

github.com/lamdu/lamdu - 762bd80ccee2bf80bc065fa2b9c194ee5773f7ab authored over 2 years ago by Yair Chuchem <[email protected]>
Update momentu and tidy imports

github.com/lamdu/lamdu - c416b2c3862125705a04b421ccff146d10c232b1 authored over 2 years ago by Yair Chuchem <[email protected]>
Re-export Responsive and EventMap

Common imports (39 import lines in Lamdu)

github.com/lamdu/momentu - 0ab58c499cf2cd0ea3648a3fca23d818c67306e7 authored over 2 years ago by Yair Chuchem <[email protected]>
Normalize/tidy imports

github.com/lamdu/lamdu - ea65512595713911cdf1974a69c8148bdeeb6d0b authored over 2 years ago by Yair Chuchem <[email protected]>
NominalPane: Extract makeParamEdits

github.com/lamdu/lamdu - da91a97fc6bea6ca5b94f464c0d8223aefc57615 authored over 2 years ago by Yair Chuchem <[email protected]>
Commas between extra-args of labeled apply so can tell boundaries between args

github.com/lamdu/lamdu - 1a86ec178a3c05c5be27e984a1598f3e905a39ee authored over 2 years ago by Yair Chuchem <[email protected]>
Extract setParamKind

github.com/lamdu/lamdu - 8bc09b4fad21e1fd18f126bc34b1054494eb389e authored over 2 years ago by Yair Chuchem <[email protected]>
Extract makeAddParam

github.com/lamdu/lamdu - be4f5babacd3602ff87a506fa7129d4a76daf20b authored over 2 years ago by Yair Chuchem <[email protected]>
Remove redundant constraint

github.com/lamdu/lamdu - 9e59de6a98d4a9be82da3e5f629083714236f820 authored over 2 years ago by Yair Chuchem <[email protected]>
Extract nominalParams from Nominal.pane

github.com/lamdu/lamdu - 92f574ae80227207af050a01ddab7cf501c27e8b authored over 2 years ago by Yair Chuchem <[email protected]>
Remove unnecessary wrap

github.com/lamdu/lamdu - 5a286223e5627738fda870936bfe4eb4ba3d3f4f authored over 2 years ago by Yair Chuchem <[email protected]>
Split modules differently. Convert.Nominal is just for nominal pane

github.com/lamdu/lamdu - db85c8e3df47bbe71f303316d940be78dc6c9119 authored over 2 years ago by Yair Chuchem <[email protected]>
Rename document to Names.md: it is not only on auto-names!

Also minor update in doc

github.com/lamdu/lamdu - 7fbb1318f6f06da1ddc8659f463c8191c31c4681 authored over 2 years ago by Yair Chuchem <[email protected]>
Remove redundant constraint

github.com/lamdu/lamdu - cc383cf0d936f161c5cb0acf9275e461fe5fbc65 authored over 2 years ago by Yair Chuchem <[email protected]>
Inline single-use type synonyms

github.com/lamdu/lamdu - 1b266037c9406168befc0a9ee8be355a752e3334 authored over 2 years ago by Yair Chuchem <[email protected]>
Rename MonadNaming=>MonadNameWalk (apply old todo comment)

TODO is from 2015! be6977de50e48

github.com/lamdu/lamdu - 0db18b37c428a15fcb7bbd4bb23f3b6605d7169c authored over 2 years ago by Yair Chuchem <[email protected]>
Oops fix warnings

github.com/lamdu/lamdu - 56289cb5f27028ecd749ddde43568638e4b1d395 authored over 2 years ago by Yair Chuchem <[email protected]>
Goto definition actions within Sugar AST replaced with separate function to go to indentifier.

This will:

* Easily allow read-only ASTs without actions to support such navigation/view operat...

github.com/lamdu/lamdu - 8c4b60d42f980f3e03c7e88b01c4437e31cf1cb1 authored over 2 years ago by Yair Chuchem <[email protected]>
Extract globalNameRefs

Towards currently stashed changes

github.com/lamdu/lamdu - f61e76492df9d12923f9a954a10ef63eefe909f8 authored over 2 years ago by Yair Chuchem <[email protected]>
Extract toGlobals

github.com/lamdu/lamdu - 61069757e6de4095c0940fa092aee3cce0796f16 authored over 2 years ago by Yair Chuchem <[email protected]>
Remove misleading ^? matching on lens

Back before 759bb4de14193e9474 param records didn't have names and it could have been Nothing

github.com/lamdu/lamdu - 2d3fcc9497c29b0b35aab336534209ca98b0db29 authored over 2 years ago by Yair Chuchem <[email protected]>
Remove unnecessary pure

github.com/lamdu/lamdu - 7054a21c1945ca91445717cf688cb4240be3e7af authored over 2 years ago by Yair Chuchem <[email protected]>
stack.yaml: lts 19.1=>19.16

github.com/lamdu/lamdu - a55d6bb749ceb58890b961ea4739b286f47a746d authored over 2 years ago by Eyal Lotem <[email protected]>
Minor code nitpicks remove unused exts

github.com/lamdu/lamdu - 9b0582ff9719d19e01c6abab2c0f9e7304aa063a authored over 2 years ago by Yair Chuchem <[email protected]>
Resolve TODO in help text for sugar toggles

github.com/lamdu/lamdu - 2dfd5e7ad9cb031a74e3fd3bdd74e00c71b499bd authored over 2 years ago by Yair Chuchem <[email protected]>
Syntax sugars are toggleable from within Lamdu!

Before, they were toggleable by tweaking config.json.
The intention isn't for people to work wit...

github.com/lamdu/lamdu - 851b198ea5bdcd6a5af74c6972c4857be21be7b5 authored over 2 years ago by Yair Chuchem <[email protected]>
Add sugar icon from https://icon-icons.com/icon/spoon-of-sugar-food/68689

github.com/lamdu/lamdu - 02c53093dbc8c8af3adc31c45e8772ff9b35da87 authored over 2 years ago by Yair Chuchem <[email protected]>
Fix disabling nullaryInject sugar

github.com/lamdu/lamdu - 937742db87fb444b64cc259fc14a1e77835e8933 authored over 2 years ago by Yair Chuchem <[email protected]>
Remove misleading dead-code

nullaryInject also apparently usunsed but it should be

github.com/lamdu/lamdu - 17cc0b17620db84c42c97b17209b8bf34293c4ce authored over 2 years ago by Yair Chuchem <[email protected]>
Change temporary operator to avoid fixity warnings in HLS

github.com/lamdu/lamdu - 1aa73fa2783be8d649122f971c97b61760d7d6fe authored over 2 years ago by Yair Chuchem <[email protected]>
Inline newtype

github.com/lamdu/lamdu - 1564acfafe7dec86b01e9cca2d1af644244d42a2 authored over 2 years ago by Yair Chuchem <[email protected]>
Extract scSugars towards sugars-enabled not being in config file

github.com/lamdu/lamdu - 645f3fe1eab0c422fbc9fb12ebb289d2646304b0 authored over 2 years ago by Yair Chuchem <[email protected]>
Avoid showing redundant evaluation results for cons

This may seem a bit specific, and it is.
But once we have list syntax sugar this rule can be rem...

github.com/lamdu/lamdu - e75b047f16dff726f5174014d814b5c1a41dcf0c authored over 2 years ago by Yair Chuchem <[email protected]>
Suggested pattern matches are closed (example is zip's tail parameter)

github.com/lamdu/lamdu - 9e6728db4bb29ca0069514041358e6f2a77f61b1 authored over 2 years ago by Yair Chuchem <[email protected]>
Stdlib: Imperative for loop and parameter order for zip

github.com/lamdu/lamdu - d89863a4205a83326f14766ae5a77a0fdbd04462 authored over 2 years ago by Yair Chuchem <[email protected]>
GA(deps): Bump actions/cache from 3.0.4 to 3.0.5

Bumps [actions/cache](https://github.com/actions/cache) from 3.0.4 to 3.0.5.
- [Release notes](h...

github.com/lamdu/lamdu - 36c1b4215860c9906a6661331e5e228d3622ad4b authored over 2 years ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Stdlib: Function to freeze mutable arrays

github.com/lamdu/lamdu - 480ca551252ad54888710081aba35fef1ecf6c42 authored over 2 years ago by Yair Chuchem <[email protected]>
Stdlib: dedup after 31d408b3236. toMutArray existed just called toArray

github.com/lamdu/lamdu - bdd6e0b8124d74c9f6f263db7a840318a07d0a71 authored over 2 years ago by Yair Chuchem <[email protected]>
hlint police

github.com/lamdu/lamdu - 57305239c9e4381b30f325743d96c5b73d29c796 authored over 2 years ago by Yair Chuchem <[email protected]>
Stdlib: Extract toMutableArray

github.com/lamdu/lamdu - 31d408b32364f2b0a690d7dc7434e3d21a84694e authored over 2 years ago by Yair Chuchem <[email protected]>
WYTIWYS: Upper case should suggest ToNoms only

github.com/lamdu/lamdu - 6e5df434466c4402c92c5b73347232c58cd0d8e4 authored over 2 years ago by Yair Chuchem <[email protected]>
Minor DRY

github.com/lamdu/lamdu - ba11080d41a19ccc95f6cf1f05b6938a0728909b authored over 2 years ago by Yair Chuchem <[email protected]>
Oops fix layout regression for scope edits in 97ebc008ab878

github.com/lamdu/lamdu - 35d9e45158cac3c3d4c7a3229ec1f209a086f8d3 authored over 2 years ago by Yair Chuchem <[email protected]>
Stdlib: Use @ operator for array item access, it deserves something short!

github.com/lamdu/lamdu - d4c798795673b279cf29366fdae6bc80dffeb330 authored over 2 years ago by Yair Chuchem <[email protected]>
Layout changes: one-liner records and pattern match layouts where appriopriate

github.com/lamdu/lamdu - 2910930ce45c78ba6ec7243f030d85a6ed6c9863 authored over 2 years ago by Yair Chuchem <[email protected]>
TaggedList: one-liner option

github.com/lamdu/momentu - b54f426e021605594b824acb97b6f08e41b89c78 authored over 2 years ago by Yair Chuchem <[email protected]>
IfEdit: Let tryWideLayout decide when to use one-liner

github.com/lamdu/lamdu - b45d1114ae0260c165b69f9642f8780e7867fb75 authored over 2 years ago by Yair Chuchem <[email protected]>
WideLayoutOption supports one-liner-only options

github.com/lamdu/momentu - f0e00366d4b522cf10484f4de9e6c94cb975c822 authored over 2 years ago by Yair Chuchem <[email protected]>
IfEdit: More robust mechanism to determine when to use one-liner layout

github.com/lamdu/lamdu - 97ebc008ab8789311e4f93bb824a9f2e674efc86 authored over 2 years ago by Yair Chuchem <[email protected]>
Responsive wide layout keeps track on whether it is one-liner.

Example use case:
Lamdu's one-liner if-expression layout should only be used if the elements wit...

github.com/lamdu/momentu - 4ea4e09c8be8be6b6d0a5d22a4e49753d3a1e642 authored over 2 years ago by Yair Chuchem <[email protected]>
DRY / naming

github.com/lamdu/momentu - f025b23d5aabb21b1ef04307b22d23da1dbbe2a2 authored over 2 years ago by Yair Chuchem <[email protected]>