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

Refactor: simplify Composite.convert

85b72fe7fd603e3c4b01fa24e237621a7bd3fa11 authored over 3 years ago

Add simple test program to demonstrate the animation change of previous commit

fe98661a4d56b4b1527064b398d1894e362175fb authored over 3 years ago

Animation improvement for record closer

Now when adding/deleting fields the record closer moves.
Before, the last comma turned into it a...

be57b01fed9cdcf1694b33f7a4f58554727a024e authored over 3 years ago

Missing lenses

bd82ac55a7599628ee370f99d5a0f10f6c303244 authored over 3 years ago

Test doesn't create weird lambdas with no/single fields in parameter record

0238e1ccc3b639faa95b8fb242a6dd4661d8b23a authored over 3 years ago

Refactor weird postProcessActions logic

Delete actions were created different from other functions..
Note that the test def-with-params ...

e37ff8f9798c76e8426db7fc1470d43997df6b22 authored over 3 years ago

inline one-liner instance

f453503cd1fbb71fe9fbd8c1e7505b40524d7f39 authored over 3 years ago

taggedListItems traversal actually on TaggedList

05f5cb851b17cd7a7808e71422620cdfcbdcb1a1 authored over 3 years ago

Less partiality: instead of Maybe set to anon-tag, only available where relevant

e8a2390fc6baf7a3b651bc029341b60581a390ed authored over 3 years ago

Simplify TagChoice: no need to report ids of newly created expression

GUI can do the same features without requiring this from Sugar AST

9505f0696844d2d27ba51c9f8c95069ac03359cd authored over 3 years ago

Generalize TaggedList, towards reuse in function params

c1df7e9b4c94f945e4641c4e952c820f90310b05 authored over 3 years ago

orderByTag less error prone, orders within items too

Also now ordering the items is applicative and doesn't require monad

a3a43f2da4d4f2911085b26d8dc5d5430fb44423 authored over 3 years ago

Move TaggedList to Sugar.Types.Parts

The module division was such that only stuff that has to be in Types.Expression,
due to cyclic d...

0232cc8760e50f5afb4e569f2c516d041ba08199 authored over 3 years ago

TaggedList type, supporting reordering for lists of 2 items and more. Ordering not implemented yet.

3f79f7d0ca76390abc968633e2d92a7562191c12 authored over 3 years ago

Dead code police using weeder

1e6719171889afe00417b2d27147bdea392e0bf0 authored over 3 years ago

Update bindinges-freetype-gl dep for easier build on macOS

2e8c21cdbddd84af451b95e291d4c00b15801be1 authored over 3 years ago

TaggedList: tlAddItem => tlAddFirst

afc2d9c9bc4780ae4ce6550f65c2bac7c074fc41 authored over 3 years ago

TagOrder: inline orderParams

a25ce20939867c09c1587bdee5722de926d4cebf authored over 3 years ago

AssignmentEdit: DRY

8a651b7b412393cc2391e3f4a4bf26a1c715da94 authored over 3 years ago

Distinguish VarParam[Info] from RecordParams[Info] for less partiality

d19e9628ae289f250308694636555eb0b37658a9 authored over 3 years ago

FuncParam does not need 'name' type parameter

d768b04af3e38014bf7446d494ee9f01b91c072d authored over 3 years ago

Fix typo: gsr -f binderAmiguity///binderAmbiguity

a0b7d4ac98ff7f342c9922c2099f430f5f4bb413 authored over 3 years ago

Inline FuncParamActions

34e53ae5e60c35ee60e5c025bc6cd33d81d01e33 authored over 3 years ago

Convert.Composite: Inline 'addItem'

d2334c4af1f6759dca899fc6883e31e09af0386d authored over 3 years ago

Use TaggedList record syntax

bac4f3d5d5095e9e8444be9df5f7bbd7dc4a5949 authored over 3 years ago

Towards ordered add items

a9a2ecc7621fefb3d3dfd7ecc6cf3b7d00f46314 authored over 3 years ago

Remove binderFuncParamActions

bd7d13175acc9dfdafb741411d265926688e7ec4 authored over 3 years ago

Composite embeds a TaggedList

7da6805fb5ef81e9fec19d5e0d8c9189636521d4 authored over 3 years ago

Composite embeds list of TaggedItems

c6a3d908c18857afb71718099c3fcbfa3c4c70bf authored over 3 years ago

Extract AnnEval

6ec9cce4637286e77b80fec2171deb383238e341 authored over 3 years ago

CaseEdit: makeAltsWidget decomposes the TaggedList

f167c81adaf8f13ad9427d5c37ed0243564d3e63 authored over 3 years ago

Export tags from nominal definitions

695eca267a02d6a94eb722112788894ae0b46649 authored over 3 years ago

Replace tag support for nominal params

81d28efcbc7848c6dc615c9c7d4a2c04f6b8fe29 authored over 3 years ago

Opaque nominal params in codec

9e116bccdb1f46642fd8c614394e3962bae35c17 authored over 3 years ago

Type view styling

1e59c464c2073f511a2802da54864d52c0868374 authored over 3 years ago

Don't rename type parameters used in types

8c3fd4f94f8a6083dcf0efaa3445b2eefb90fcf2 authored over 3 years ago

Display nominal type parameters

40bef4b3555d2613498c58bad5c9ba61d99ca171 authored over 3 years ago

Sugar converts nominal params (missing opaque params)

7f632a4fc2d86354168a3804afff5732406024fd authored over 3 years ago

Reader.Instances: Semigroup/Monoid instance for ReaderT

502a654f518d52131264dea6ab409a2467a49ed0 authored over 3 years ago

Inline convertNominalTypeBody

90c43108e925dcd65c5dbee958ec45cf6acfa0c1 authored over 3 years ago

Codec version 15

acc943781c0d4f87053561942eca433b6923e218 authored over 3 years ago

Eval.JS: Don't use HashMap directly

aeson will also transition from it.

afd04a5857a6536e2d549e87bf9f9b4c19b9eb24 authored over 3 years ago

Migration: Use Aeson.Object type alias

fb26629ff09205ec89510751f130ac6248f34ba1 authored over 3 years ago

Remove unused 'params' param

6a1dd93a441cdbc40ae69c5617294723fe2aee74 authored over 3 years ago

Nominals: Restructure type correctly

bca618241a1c3f5f2193ddde8b9a3b534ae2deac authored over 3 years ago

ConvertTag: de-generalize type for clarity

029f0b7b70f5d876fc36be5a8bcd9a99a84ab6de authored over 3 years ago

Fill holes in type

231d3ff16ed475464f1c50837ecfa5abdb6df9dd authored over 3 years ago

Update lamdu-calculus dep

(for _Var prism)

1cbba8e494d6c7cb68f3732d6b9b7915227897cc authored over 3 years ago

Revert "Add custom hie.yaml file"

It appears now that HLS works without it and may be confused with it.

This reverts commit 36d0b...

b4e4024926d1edf5c30d1ae270d780ad4c3bcd47 authored over 3 years ago

Missing Monoid instance for OnceT

f0c88707842319550b352fff1d45fc90a43777bb authored over 3 years ago

Add types for nominal type parameters

a64a7bde2302a46a02b873bec6c43b4851b14006 authored over 3 years ago

Extract NominalPane module

9ea29b95ea60439f475a4af03bf9873d26fd7aea authored over 3 years ago

JumpToNominal class rather than TId.convert doing unnecessary work

ca1d6ab0a64531352b8b658a83864d81e642c34d authored over 3 years ago

hlint police use imap, and haddock parse warnings

fa90ab336261f8505b6407a6e73a788265293c74 authored over 3 years ago

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

870984914892ea847c5f8487201d8d924e2fe6f3 authored over 3 years ago

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

37dd3ccdd408a25fe15452e4fc34f795ba03449e authored over 3 years ago

GotoDefinition: Support going to tags directly with tag prefix

7686f1fcfead707de9e6ef0daea09ec418a6a303 authored over 3 years ago

GotoDefinition: strict Global fields

c2c7726fe2cd1c9d56721824949314ca8b1157ae authored over 3 years ago

Oops: Global tags have context-less names

221dd26e81c8210cc60f90a8b5513402d91c2e30 authored over 3 years ago

Oops: GotoDefinition didn't use unique ids

d0662cfc26f3f0fe4d966cb2622f244ffdb52353 authored over 3 years ago

GotoDefinition: Explicit type constraints

573c346551879ce8025074f7e0330c7ba6b8ecec authored over 3 years ago

NominalPane: Initial draft (missing nominal params)

1cb52e3c1beb74e690a8567bfd1dfc9efcdb5efe authored over 3 years ago

NominalEdit: Adds jumpToDefinitionEventMap

13f269b2e363aa720999554d88a89957d6ce3315 authored over 3 years ago

GotoDefinition: Add nominals

fe672458f5256fc5a230e748a4057816bd95f358 authored over 3 years ago

Sugar: Add allGlobals traversal

e440feb41d371cb51aaee47b59b6571f6b5aa10c authored over 3 years ago

GotoDefinition: Refactor to take Globals

e849a0b20bed11b5a41332fd524fa6a0b36254ef authored over 3 years ago

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

43ebff7b3d9bf00412b5d80cc5c0fae91b628935 authored over 3 years ago

Replace 'undefined' with todo

4bfa994f36e582dcba8dab819be09f33b07fafca authored over 3 years ago

Extract Convert.NameRef

8c21c67aed3dddf031a70f354fda66237fba6a3c authored over 3 years ago

gotoToNominalDef => gotoNominalDef

aec66ee6a52b3ae363893076f5fdc259541e2109 authored over 3 years ago

Can delete any global object, not just definitions

TODO: Display on names that they were is deleted

35bcb2cdbba54b59e002eed460cfe0c243c0c7e6 authored over 3 years ago

Extract common paneEntityId field from pane body types

1fb2ecbe905887f599753dafd362f891a145d276 authored over 3 years ago

hlint police

2afa287edbed76ea243dcc19877b692c220ea5fa authored over 3 years ago

Remove unused field in TagPane

836a276ddc792df32a133f2a22ddc8d5840ff560 authored over 3 years ago

Extract Lamdu.Sugar.Types.NameRef

025130099a1b84155e310f971f67c78a3f0a54a6 authored over 3 years ago

Simplify Walk instance of TagPane

abe7959a17238f41d408428078b0d975dbafb02c authored over 3 years ago

Extract deleteAndClosePaneEventMap

f06c4631f3d84ac98b4d39fb3f0a42bcd35ebbc9 authored over 3 years ago

Test: Fix warning in sugar test

9c09183bf4303da0ea0d7a6c17216860376a607b authored over 3 years ago

Db: Remove false migration support

fa006d0708253b0366e9b2aedcba510209d403cd authored over 3 years ago

Db: Filename contains schema version

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

a16fa5287d862ec8c3366f6fa198bca0f84fcf22 authored over 3 years ago

Generalize some types

Towards next commit

106553a9b259e28395ea18cb57a40261596a6cd0 authored over 3 years ago

Put CodeAnchors into env

fbe774c0dc179f7a8839ae879aebb294fbf38a7b authored over 3 years ago

Reduce boiler-plate with generic-constraints

628cef1cd916bf3ec78a31558ae9bc9c551803d2 authored over 3 years ago

missing instances

c2dc56684e2a267178f5d26c059e17bdd457f091 authored over 3 years ago

Update stackage resolver

ff4ceac945699d7df6780c76216d9fb1f8ac4329 authored over 3 years ago

macos: move linker flag to executable

4d8dea620cf6e54aeea41513b0fdd8bd971d431b authored over 3 years ago

Oops redundant -Wall flag

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...

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...

06c9c1bf2a19e80abd48d1e8e8f5b1056ee8c0bf authored over 3 years ago

Add missing module in cabal file

2b644822de4edf7e9284c4ead0fb954f2531e696 authored over 3 years ago

Tidy boilerplate lines

f38f3e29a968423c13f586ae1e677fd15afba721 authored over 3 years ago

Add failing test for #130

b00bbd3e2204c155aad6084f13d7b084664af6f0 authored over 3 years ago

Fix failing test and #130

8428aaa0432dddd2e4b36815cf6e3387d6b28a67 authored over 3 years ago

hlint police

198f438c54fc58297f260a0fa380338a3a28a9e4 authored over 3 years ago

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

752a41222d7b59602f923c2a5a5f73846518c841 authored over 3 years ago

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

88873b7f335e3af98c775a53562a2f5d8d1c2123 authored over 3 years ago

tools/make_archive: Package extra dependencies

b9fdcae470934ed58e2fe93bcadf62c822e53771 authored over 3 years ago

make_archive: use node from path

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...

19db97a65d52c4421a268580f68522369cc4da93 authored over 3 years ago