Ecosyste.ms: OpenCollective

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

github.com/lamdu/lamdu

lamdu - towards the next generation IDE
https://github.com/lamdu/lamdu

Sugar.TagActions: taSetPublished

0e2b38d0c1c862c133524b594aa82e04d8fd9327 authored over 7 years ago
CursorState: easier api

4f5d1e3c229053523be82d797cf0262fc14e027e authored over 7 years ago
CursorState: a mechanism for transient state

7a931adbf04e9d0165bde47c4cc143039e391005 authored over 7 years ago
Sugar actions for replacing record tag

9dbce0105ac19c4f951526e927cc3c03aa44bb8d authored over 7 years ago
Update Extra-source-files in Lamdu.cabal

3b734a33ab383f7ec7e1787be312318b079d8425 authored over 7 years ago
remove redundant argument

b206ff99561cdb345bafdcbb5fe6321aa798bf0e authored over 7 years ago
annotations of open holes have background again

44f5c551a2741ab68f4ee590105cec04eb33a91f authored over 7 years ago
mtl style

6bdc1a29f9a5321862e5d3be5f5367dc6f8bbb69 authored over 7 years ago
Names.Add: Add a few comments

806a1d7876e22d941d9a31443bb685021e9ba9bf authored over 7 years ago
Revert "Names.Add: Pass 2 does not pass names down"

This reverts commit d9ba9ccd352ab6993b7e9ef8565a8c70a966d2c2.

Must use the names from above to ...

d9d117692d698ac1f691ab498c2bc3526b78dd3e authored over 7 years ago
Names.Types: Use a nicer sum type

7f6c7c7f3970b6d9e69f83c73b6f03324b968572 authored over 7 years ago
dont show collision suffix on tag name edit

2c743b1e8b6d51f91cdecf848bec62f1e4b634e4 authored over 7 years ago
Names.Add: emptyP2Env -> initialP2Env

7d9705d71f31fff1ecb0af533c99e60de91c04d3 authored over 7 years ago
Names.Add: Simplify: use nub

a2f0c85b143f8e83174ac34f0f6cc74e9a977b7b authored over 7 years ago
Names.Add: Pass 2 does not pass names down

d9ba9ccd352ab6993b7e9ef8565a8c70a966d2c2 authored over 7 years ago
Names.Add: Remove funny compose

8f2f75a08851e2b86593778102d1a71bd361401c authored over 7 years ago
Names.Add: cleanups

dfcb41c46ded42f3973f76ab6f9c421778b303f5 authored over 7 years ago
Names.Add: pass1result is a CPS action

f2f77a5e2b579d546e1820d3851197b4ac97f739 authored over 7 years ago
Names.Types: Lens exports

ecd207b69bb768f53cfc895fd8ba431d1e253787 authored over 7 years ago
Names.Types: No need to qualify with Name prefix

5814857659d64fbe34b15ea9e700e3f42fc33b9b authored over 7 years ago
Names.Add: NamesBelow -> NamesWithin

12c96b77a2594b48c52af6497e841b54e6e913e2 authored over 7 years ago
Names.Add: Unnamed auto-names that can collide

9b2f7e427f7697990dcd139925aa33d3bb1b006b authored over 7 years ago
Names.Types: Remove RecordWildCards

b234e55428a081ecd3d691c2db284cf75e25caa9 authored over 7 years ago
clean up weird point-free code

b695b95690bbfe868080b7f617a50ac4c7a79888 authored over 7 years ago
nameUUIDMapSingleton: Reverse param order

a09615fc9b52467b1f95bac9631baaea2d300381 authored over 7 years ago
Names.Add: Pass section comments

1b1a363f0bfd4057f210ec38357543db35565ee7 authored over 7 years ago
Names.Add: Rename MStoredName to P0Out

8756d9cd9e3ecb7227b49c9014f6e310e4c8af8f authored over 7 years ago
Names.Add: flatten P1Out

3e0f44d140c7c12480e2bc77f4b65045e4e9f79c authored over 7 years ago
Names.Add: Rename GivenNames to P1Out

5879d4228240d21f9ef4cf51a40af3d010925315 authored over 7 years ago
Enter/escape on tag rename exits rename

c52a3432a37fbc6a1fa7fd88cbd5b879f0c883d6 authored over 7 years ago
fix editor going to name tag after comma

94aea4592fa391714155e69441c5cb5f4dc92eab authored over 7 years ago
TagActions.taOptions: returns names of tags

e685767f4ba0d7a850b1ceae15c603076f9662e6 authored over 7 years ago
populate some TagActions

cca2cc78e3c82e2640e619d155ae202032952116 authored over 7 years ago
Tag rename is a popup

38a607294b426aed05df5c35d2a2a34d96607613 authored over 7 years ago
Menu.Option is not higher kinded

67a98d1d76ef36b4206aa99609da10ecb2a46157 authored over 7 years ago
Menu: Allow an expensive action to compute the submenu only if it is open

f127d91c680028d6add4e5ef5640bd2fe74a56c7 authored over 7 years ago
Hover background comes from Hover style

e434c13bbb590a3f4b4d1745aefd10546643001c authored over 7 years ago
Move VerifyConfig.hs into tools/

b300d4b28d74b282a9e17a724021ac11d1bef1c4 authored over 7 years ago
Sugar: Record=>Composite

There's probably more code sharing possible now between record and case

850b12a5a71252cced92bf066a73bcb900794ab0 authored over 7 years ago
Sugar: more composite DRY

3317a4447687ecf77c8277444ba0f707cc60e33d authored over 7 years ago
DRY merge CaseAlt and RecordField

Record and Case are dual, hence sharing of code is possible between them (which will come soon)

678ad26c9668bcbb313e72047c9e04d024287b40 authored over 7 years ago
Remove misleading comment

Comment originates from e3f129bce0b5 back when we tried to have dependent types in Lamdu..

4d0e7d717b3aac351ce3379bc9c852796320c4a1 authored over 7 years ago
Extract hoverBeside

15a538009cb41d26a1b26e607e655607dead46b5 authored over 7 years ago
TagEdit: Remove use of RecordWildCards

dacf181761f142e6b1caf97c28892b97a1120cee authored over 7 years ago
makeTagEdit functionality moved inside makeTagNameEdit

7213ae0ee748dd33e6ec510a3739e2388c8ebddc authored over 7 years ago
Revert "Panes is a set rather than list. Towards auto top-down display"

This reverts commit 17e846f7f4ba492eea5d9de583ffbe7a956ccc80.

af13e915359d01ed90b5b4ffc5e2ef1c9de774e2 authored over 7 years ago
dont order panes by dependencies

it doesn't currently work well anyhow if definitions are dependent through unviewed defs

the id...

443abe9d967e0861d0f51480042c04c37e29c0bd authored over 7 years ago
rename TIdG to TId

name TIdG coined in d0dbf8670b50

c673ed5d06a2b2a77a6cc818e3466092217b2874 authored over 7 years ago
makeNameEdit does not take onActiveEditor

* Since commit b1fac398fe36e9bb7a99b30df0afa8fdc42d0f4e - pressing
space on a name edit, even ...

fb18f99b3475bd2f067e227d15d76cca83cd6552 authored over 7 years ago
TagEdit: makeTagH -> makeTagEdit

ca2b4ef721173b9c80c7b083d5441a9a0abcbfbe authored over 7 years ago
Menu adds background for main results

cd76b83fc478033fb678022437aec92f54f0b536 authored over 7 years ago
Move submenu composition into Menu

11303f23b04be84dcd1b62bbb6615a0da180fa90 authored over 7 years ago
HoleEdit.Open: Inline makeExtra

ad43d47caa35e05c2be7e54348fcca380c563b94 authored over 7 years ago
hlint police

b3b1a8d502bf8f46eca45fca093cf3ffda5e7575 authored over 7 years ago
Sugar.Types.TagActions

Actions not yet implemented nor used yet..

d7fce53c5e8a31473a1e74699fff12833c7c0ed1 authored over 7 years ago
AnnotatedArg does not contain a Tag

Towards Tag containing actions. A call location isn't the place to change the function's paramet...

18c909f5efd68020e097e89d569e6627180ac946 authored over 7 years ago
Update-def-type doesn't create holes if it doesn't need to

Fixes https://trello.com/c/qxAxeEFi/259-bad-behavior-when-updating-type-of-function

08ad51568b6f64d5bb09bce8f257a237e599c31f authored over 7 years ago
When navigating to a hole with a non-empty search term it opens.

This resolves confusion and weird behavior mentioned in https://trello.com/c/DmeMkcLp/272-operat...

b863d13aa6eba9b460c865db198411dc653a8395 authored over 7 years ago
fix navigation bug introduced in 59045554c326

373132871ef67dc250770b23f8dccc276e2f9f18 authored over 7 years ago
Space also opens closed holes

Fixes https://trello.com/c/bwGuZDQd/271-space-not-only-enter-should-open-closed-hole

bb951ec504319e1faa9020bfb0f8f8c5c8aae8ba authored over 7 years ago
Extract TagInfo from Sugar.Tag

Towards adding actions in Tag that will be used in the tag-hole.
One could select existing tags ...

5c4fb20efe911d9d61189ad065d61ea6fc041a0e authored over 7 years ago
var renames

2b9d546422032040cd4682e7e8cb5a3b4020fd31 authored over 7 years ago
rename TagG=>Tag

TagG was introduced in 7ca5d7f405d06f9c5c692aa5d813da9f401d9bf7 at 2013,
when it had a Guid in i...

ca4bdc6bca662927b6850b7d58ad6683799c6687 authored over 7 years ago
cleanup: FieldParam contains TagG

59045554c326bdf402af1766743b57525305d03c authored over 7 years ago
use AnimId where suffices

f9a085010576cc08a2186cbd9588385bdaf05294 authored over 7 years ago
can type operators on closed hole

f53026deaf9cf4e20bce89674bfcc8c88b32e70e authored over 7 years ago
cleanup. remove code without effect

62fcd3c05cb4cc6c6ecfa36bfc0bb8e4d09cc1b3 authored over 7 years ago
Fix missing disambiguation tags

Before this fix, using "min" and "max" in the repl,
renaming them both to "moo" and change their...

583ad7f5108bf5b4bf1e99a8b9ac15ed780732fe authored over 7 years ago
hole default cursor is on search term when empty

this way when entering a hole, operators entered set the search-string,
but if browsing to a res...

3ee3f5afb8aa379968dd1f7d9b4c87c9adebc589 authored over 7 years ago
Revert "can type operator chars in ad-hoc eventmap"

This reverts commit cabbdb9209fd3d19b9882125dd9dbe1f77a04817.

The ad-hoc eventmap overrides the...

1a9db24953408884370eb9117e39c31c15961288 authored over 7 years ago
can type in closed holes

d3bc1cf4ae6d43f30b616eaad8f8a9ce1e1064b7 authored over 7 years ago
Fix red holes in holes results having their hole hover

Their searchterm is hidden via a hack because we do want to create the widget normally with its ...

b90cbd74bc3f004570ebbea18a54ae1171ce4143 authored over 7 years ago
Hover: frame done by "hover", not various users of hover

86d21bcbba25d7abeaeafe85726542ee31a33243 authored over 7 years ago
Hover glue requires newtype around Hovering elements

4f7c2b404f0ead56a0c592bfaa269ef56a36acbf authored over 7 years ago
Glued type family is commutative

66de8ba4fdf5eb4dd87be33c77f5c56943d4a214 authored over 7 years ago
glueH: generalize type

6f1d978e8e8a52ce9e236b6e05e8f1141eda6a42 authored over 7 years ago
Inline Hover.addBackground function

69d3ca09777baad10ed5d6386526a39c90e4e1ff authored over 7 years ago
HoleEdit: Align extra results

7b1f9117691a3e0398113881dee429b58c9b913d authored over 7 years ago
Menu: Extract pick event map back to hole

deed6118278f58a65e435176d165e5d709a0ac3c authored over 7 years ago
Extract extra symbol functionality from hole to menu

d3146d0cc7299ea38e4578d13aaf49cba2a62622 authored over 7 years ago
Responsive.Expression.HasTheme instance for Lamdu.Theme

d387b3db2f73271fa7226f8f5104366ab823b3a4 authored over 7 years ago
Remove dead theme variable: holeResultInjectedScaleExponent

fc3364df462db14207272f01c64d4d0decc81d4f authored over 7 years ago
Momentu.Menu: Rename group->option

3c8150db9b740aee655396e6472a5060beed4358 authored over 7 years ago
Active hole search term has a different bg color

4fb5f070782eeafbcf5e0b1d9d80fc776b6830d6 authored over 7 years ago
Case with arg: Don't delete from nom when deleting scrutinee

bd3b3224438e21e9aa5107a8fb69395390ffd6f1 authored over 7 years ago
Move Apply.{convertAppliedCase,maybeGuard} to respective modules

435397db661c96586b71342f967035a67dcc7caa authored over 7 years ago
Revert "toLiteralTextEventMap: Error in impossible case"

This reverts commit 441ed59087d61b585df6cc0f500a011954be8f18.

Fixes typing literal strings wher...

bd2d4a1d4823386c91a48193c3619c67235a2750 authored over 7 years ago
Responsive.Options: Share 'wide'

f2a7c6d175d7681ae00977f5201588e05050daf2 authored over 7 years ago
Extract some functionality from HoleEdit to Menu (partial).

There's more to be extracted and re-organized to something more coherent.

0764111c1fe0e42a264dfe5dd922620d742e4c60 authored over 7 years ago
avoid Maybe

718a8ac4e12de7ca9f9e9c333e09b645fcaf33c8 authored over 7 years ago
fix to inline definition bug https://trello.com/c/hiXu3e9r/264-type-infer-crash

1bd04710bdb1ef5bb06665c4a8af412a90fca8c5 authored over 7 years ago
fix https://trello.com/c/V0N9QGVJ/263-duplicate-hole-result

b36b28c9e5c0dfcf11ccb40d5cba0f9771265ec5 authored over 7 years ago
oops remove extra spaces in indented layout of if-else

862b31649fa5c973fa91b4065ff79049e7c48873 authored over 7 years ago
small cleanup

2ade21542375b3394af2940100019d6ba90a3d10 authored over 7 years ago
when navigating holes don't just open up

d36d19333444eff34d2ea19cbfb4d0c7bc5d240c authored over 7 years ago
minor cleanups

dd4b09ce7f509182950625d3767bd41738e7fb53 authored over 7 years ago
Use pipe for lazyness symbol

33ca967266b204a2b7a927ea7fb7081adbd4457b authored over 7 years ago
stdlib: cons operator is "::"

"," is now key shortcut for adding fields.

It's also "::" in ML, Scale, Idris, F# and Elm.
(see...

d5895dde5d09fb03c8224f5fd7d8b903a610375b authored over 7 years ago
Revert "add field key is cmd+comma"

This reverts commit 4b5039c7e6cc83eb9f8274b30a339fc35ad252d2.

6484b5194e3c810f49b36b5f9d25923d1b81bb8b authored over 7 years ago
Revert "Make comma an operator char"

This reverts commit 9bec78dd41cfc89cb1be7c870e23ac419ebe19bf.

e6c048afb3175e05bbbb2d7ae1299590d95a5445 authored over 7 years ago