Lamdu commits | Ecosyste.ms: OpenCollective

Names.Add: Conflicts -> Collides

github.com/lamdu/lamdu - f4ea9ddf9332320b5414784ef544df14b14359af authored over 7 years ago

Names.Add: Rewrite the name clash algorithm

* Pass 1 decides what text names collide
* Pass 2 merely assigns UUID suffixes for all colliding...

github.com/lamdu/lamdu - 7ab633da00e404c56f8039c5d9c72bcba98c26c6 authored over 7 years ago

Names.Add: Disambiguator synonym

* Later it may evolve to a data type with multiple kinds of disambiguators

github.com/lamdu/lamdu - 9d50cfb44240fea93fb77d92b7a029d4bd8083c7 authored over 7 years ago

Data.Ops: extract genNewTag

github.com/lamdu/lamdu - 425b23802fa888ae3337fbfcfeb81fe3728eb5dc authored over 7 years ago

Tag actions: taReplaceWithNew

github.com/lamdu/lamdu - 8f5d8d974db3a205130a3d0564b5dad8e054a68c authored over 7 years ago

GetFieldEdit: add delete

github.com/lamdu/lamdu - 4a9e24560e56d872e171a013a26cb9113479057c authored over 7 years ago

InjectEdit: delete inject from tag

github.com/lamdu/lamdu - f055d500489061a36eab87e193278b8cf55bdfd0 authored over 7 years ago

tag actions for case tags

github.com/lamdu/lamdu - b84354bc7697ff13fec6e2c20ad387c29d077c88 authored over 7 years ago

Sugar.TagActions: taSetPublished

github.com/lamdu/lamdu - 0e2b38d0c1c862c133524b594aa82e04d8fd9327 authored over 7 years ago

CursorState: easier api

github.com/lamdu/lamdu - 4f5d1e3c229053523be82d797cf0262fc14e027e authored over 7 years ago

CursorState: a mechanism for transient state

github.com/lamdu/lamdu - 7a931adbf04e9d0165bde47c4cc143039e391005 authored over 7 years ago

Sugar actions for replacing record tag

github.com/lamdu/lamdu - 9dbce0105ac19c4f951526e927cc3c03aa44bb8d authored over 7 years ago

Update Extra-source-files in Lamdu.cabal

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

remove redundant argument

github.com/lamdu/lamdu - b206ff99561cdb345bafdcbb5fe6321aa798bf0e authored over 7 years ago

annotations of open holes have background again

github.com/lamdu/lamdu - 44f5c551a2741ab68f4ee590105cec04eb33a91f authored over 7 years ago

mtl style

github.com/lamdu/lamdu - 6bdc1a29f9a5321862e5d3be5f5367dc6f8bbb69 authored over 7 years ago

Names.Add: Add a few comments

github.com/lamdu/lamdu - 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 ...

github.com/lamdu/lamdu - d9d117692d698ac1f691ab498c2bc3526b78dd3e authored over 7 years ago

Names.Types: Use a nicer sum type

github.com/lamdu/lamdu - 7f6c7c7f3970b6d9e69f83c73b6f03324b968572 authored over 7 years ago

dont show collision suffix on tag name edit

github.com/lamdu/lamdu - 2c743b1e8b6d51f91cdecf848bec62f1e4b634e4 authored over 7 years ago

Names.Add: emptyP2Env -> initialP2Env

github.com/lamdu/lamdu - 7d9705d71f31fff1ecb0af533c99e60de91c04d3 authored over 7 years ago

Names.Add: Simplify: use nub

github.com/lamdu/lamdu - a2f0c85b143f8e83174ac34f0f6cc74e9a977b7b authored over 7 years ago

Names.Add: Pass 2 does not pass names down

github.com/lamdu/lamdu - d9ba9ccd352ab6993b7e9ef8565a8c70a966d2c2 authored over 7 years ago

Names.Add: Remove funny compose

github.com/lamdu/lamdu - 8f2f75a08851e2b86593778102d1a71bd361401c authored over 7 years ago

Names.Add: pass1result is a CPS action

github.com/lamdu/lamdu - f2f77a5e2b579d546e1820d3851197b4ac97f739 authored over 7 years ago

Names.Types: No need to qualify with Name prefix

github.com/lamdu/lamdu - 5814857659d64fbe34b15ea9e700e3f42fc33b9b authored over 7 years ago

Names.Types: Lens exports

github.com/lamdu/lamdu - ecd207b69bb768f53cfc895fd8ba431d1e253787 authored over 7 years ago

Names.Add: cleanups

github.com/lamdu/lamdu - dfcb41c46ded42f3973f76ab6f9c421778b303f5 authored over 7 years ago

Names.Add: Unnamed auto-names that can collide

github.com/lamdu/lamdu - 9b2f7e427f7697990dcd139925aa33d3bb1b006b authored over 7 years ago

Names.Add: NamesBelow -> NamesWithin

github.com/lamdu/lamdu - 12c96b77a2594b48c52af6497e841b54e6e913e2 authored over 7 years ago

Names.Types: Remove RecordWildCards

github.com/lamdu/lamdu - b234e55428a081ecd3d691c2db284cf75e25caa9 authored over 7 years ago

clean up weird point-free code

github.com/lamdu/lamdu - b695b95690bbfe868080b7f617a50ac4c7a79888 authored over 7 years ago

nameUUIDMapSingleton: Reverse param order

github.com/lamdu/lamdu - a09615fc9b52467b1f95bac9631baaea2d300381 authored over 7 years ago

Names.Add: Pass section comments

github.com/lamdu/lamdu - 1b1a363f0bfd4057f210ec38357543db35565ee7 authored over 7 years ago

Names.Add: Rename MStoredName to P0Out

github.com/lamdu/lamdu - 8756d9cd9e3ecb7227b49c9014f6e310e4c8af8f authored over 7 years ago

Names.Add: flatten P1Out

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

Names.Add: Rename GivenNames to P1Out

github.com/lamdu/lamdu - 5879d4228240d21f9ef4cf51a40af3d010925315 authored over 7 years ago

Enter/escape on tag rename exits rename

github.com/lamdu/lamdu - c52a3432a37fbc6a1fa7fd88cbd5b879f0c883d6 authored over 7 years ago

fix editor going to name tag after comma

github.com/lamdu/lamdu - 94aea4592fa391714155e69441c5cb5f4dc92eab authored over 7 years ago

TagActions.taOptions: returns names of tags

github.com/lamdu/lamdu - e685767f4ba0d7a850b1ceae15c603076f9662e6 authored over 7 years ago

populate some TagActions

github.com/lamdu/lamdu - cca2cc78e3c82e2640e619d155ae202032952116 authored over 7 years ago

Tag rename is a popup

github.com/lamdu/lamdu - 38a607294b426aed05df5c35d2a2a34d96607613 authored over 7 years ago

Menu: Allow an expensive action to compute the submenu only if it is open

github.com/lamdu/lamdu - f127d91c680028d6add4e5ef5640bd2fe74a56c7 authored over 7 years ago

Hover background comes from Hover style

github.com/lamdu/lamdu - e434c13bbb590a3f4b4d1745aefd10546643001c authored over 7 years ago

Move VerifyConfig.hs into tools/

github.com/lamdu/lamdu - b300d4b28d74b282a9e17a724021ac11d1bef1c4 authored over 7 years ago

Menu.Option is not higher kinded

github.com/lamdu/lamdu - 67a98d1d76ef36b4206aa99609da10ecb2a46157 authored over 7 years ago

Sugar: Record=>Composite

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

github.com/lamdu/lamdu - 850b12a5a71252cced92bf066a73bcb900794ab0 authored over 7 years ago

Sugar: more composite DRY

github.com/lamdu/lamdu - 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)

github.com/lamdu/lamdu - 678ad26c9668bcbb313e72047c9e04d024287b40 authored over 7 years ago

Remove misleading comment

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

github.com/lamdu/lamdu - 4d0e7d717b3aac351ce3379bc9c852796320c4a1 authored over 7 years ago

Extract hoverBeside

github.com/lamdu/lamdu - 15a538009cb41d26a1b26e607e655607dead46b5 authored over 7 years ago

makeTagEdit functionality moved inside makeTagNameEdit

github.com/lamdu/lamdu - 7213ae0ee748dd33e6ec510a3739e2388c8ebddc authored over 7 years ago

TagEdit: Remove use of RecordWildCards

github.com/lamdu/lamdu - dacf181761f142e6b1caf97c28892b97a1120cee authored over 7 years ago

Revert "Panes is a set rather than list. Towards auto top-down display"

This reverts commit 17e846f7f4ba492eea5d9de583ffbe7a956ccc80.

github.com/lamdu/lamdu - 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...

github.com/lamdu/lamdu - 443abe9d967e0861d0f51480042c04c37e29c0bd authored over 7 years ago

rename TIdG to TId

name TIdG coined in d0dbf8670b50

github.com/lamdu/lamdu - c673ed5d06a2b2a77a6cc818e3466092217b2874 authored over 7 years ago

makeNameEdit does not take onActiveEditor

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

github.com/lamdu/lamdu - fb18f99b3475bd2f067e227d15d76cca83cd6552 authored over 7 years ago

TagEdit: makeTagH -> makeTagEdit

github.com/lamdu/lamdu - ca2b4ef721173b9c80c7b083d5441a9a0abcbfbe authored over 7 years ago

Menu adds background for main results

github.com/lamdu/lamdu - cd76b83fc478033fb678022437aec92f54f0b536 authored over 7 years ago

Move submenu composition into Menu

github.com/lamdu/lamdu - 11303f23b04be84dcd1b62bbb6615a0da180fa90 authored over 7 years ago

HoleEdit.Open: Inline makeExtra

github.com/lamdu/lamdu - ad43d47caa35e05c2be7e54348fcca380c563b94 authored over 7 years ago

hlint police

github.com/lamdu/lamdu - b3b1a8d502bf8f46eca45fca093cf3ffda5e7575 authored over 7 years ago

Sugar.Types.TagActions

Actions not yet implemented nor used yet..

github.com/lamdu/lamdu - 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...

github.com/lamdu/lamdu - 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

github.com/lamdu/lamdu - 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...

github.com/lamdu/lamdu - b863d13aa6eba9b460c865db198411dc653a8395 authored over 7 years ago

fix navigation bug introduced in 59045554c326

github.com/lamdu/lamdu - 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

github.com/lamdu/lamdu - 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 ...

github.com/lamdu/lamdu - 5c4fb20efe911d9d61189ad065d61ea6fc041a0e authored over 7 years ago

var renames

github.com/lamdu/lamdu - 2b9d546422032040cd4682e7e8cb5a3b4020fd31 authored over 7 years ago

rename TagG=>Tag

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

github.com/lamdu/lamdu - ca4bdc6bca662927b6850b7d58ad6683799c6687 authored over 7 years ago

cleanup: FieldParam contains TagG

github.com/lamdu/lamdu - 59045554c326bdf402af1766743b57525305d03c authored over 7 years ago

use AnimId where suffices

github.com/lamdu/lamdu - f9a085010576cc08a2186cbd9588385bdaf05294 authored over 7 years ago

can type operators on closed hole

github.com/lamdu/lamdu - f53026deaf9cf4e20bce89674bfcc8c88b32e70e authored over 7 years ago

cleanup. remove code without effect

github.com/lamdu/lamdu - 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...

github.com/lamdu/lamdu - 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...

github.com/lamdu/lamdu - 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...

github.com/lamdu/lamdu - 1a9db24953408884370eb9117e39c31c15961288 authored over 7 years ago

can type in closed holes

github.com/lamdu/lamdu - 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 ...

github.com/lamdu/lamdu - b90cbd74bc3f004570ebbea18a54ae1171ce4143 authored over 7 years ago

Hover: frame done by "hover", not various users of hover

github.com/lamdu/lamdu - 86d21bcbba25d7abeaeafe85726542ee31a33243 authored over 7 years ago

Merge pull request #7 from vimuel/patch-2

Fix spelling/wording

github.com/lamdu/lamdu.github.io - 22546afb086da6c48f440e9a8193304ea12a4862 authored over 7 years ago

Merge pull request #8 from vimuel/patch-1

Fix punctuation/grammar

github.com/lamdu/lamdu.github.io - 0bf891618e04ad57cfc6972d31db28e2ffa9e35f authored over 7 years ago

Fix spelling/wording

github.com/lamdu/lamdu.github.io - 218c0a16459da88f4049ac6fa27c0b166d44722a authored over 7 years ago

Fix punctuation/grammar

IDE's should be IDEs (plural, not possessive)

github.com/lamdu/lamdu.github.io - 51e79b520d9ec0d51e85deb62f52b11b1346a448 authored over 7 years ago

Hover glue requires newtype around Hovering elements

github.com/lamdu/lamdu - 4f7c2b404f0ead56a0c592bfaa269ef56a36acbf authored over 7 years ago

Glued type family is commutative

github.com/lamdu/lamdu - 66de8ba4fdf5eb4dd87be33c77f5c56943d4a214 authored over 7 years ago

glueH: generalize type

github.com/lamdu/lamdu - 6f1d978e8e8a52ce9e236b6e05e8f1141eda6a42 authored over 7 years ago

Inline Hover.addBackground function

github.com/lamdu/lamdu - 69d3ca09777baad10ed5d6386526a39c90e4e1ff authored over 7 years ago

HoleEdit: Align extra results

github.com/lamdu/lamdu - 7b1f9117691a3e0398113881dee429b58c9b913d authored over 7 years ago

Menu: Extract pick event map back to hole

github.com/lamdu/lamdu - deed6118278f58a65e435176d165e5d709a0ac3c authored over 7 years ago

Extract extra symbol functionality from hole to menu

github.com/lamdu/lamdu - d3146d0cc7299ea38e4578d13aaf49cba2a62622 authored over 7 years ago

Responsive.Expression.HasTheme instance for Lamdu.Theme

github.com/lamdu/lamdu - d387b3db2f73271fa7226f8f5104366ab823b3a4 authored over 7 years ago

Remove dead theme variable: holeResultInjectedScaleExponent

github.com/lamdu/lamdu - fc3364df462db14207272f01c64d4d0decc81d4f authored over 7 years ago

Momentu.Menu: Rename group->option

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

Active hole search term has a different bg color

github.com/lamdu/lamdu - 4fb5f070782eeafbcf5e0b1d9d80fc776b6830d6 authored over 7 years ago

Case with arg: Don't delete from nom when deleting scrutinee

github.com/lamdu/lamdu - bd3b3224438e21e9aa5107a8fb69395390ffd6f1 authored over 7 years ago

Move Apply.{convertAppliedCase,maybeGuard} to respective modules

github.com/lamdu/lamdu - 435397db661c96586b71342f967035a67dcc7caa authored over 7 years ago

Revert "toLiteralTextEventMap: Error in impossible case"

This reverts commit 441ed59087d61b585df6cc0f500a011954be8f18.

Fixes typing literal strings wher...

github.com/lamdu/lamdu - bd2d4a1d4823386c91a48193c3619c67235a2750 authored over 7 years ago

Responsive.Options: Share 'wide'

github.com/lamdu/lamdu - f2a7c6d175d7681ae00977f5201588e05050daf2 authored over 7 years ago