Lamdu commits | Ecosyste.ms: OpenCollective

Remove more dead code

github.com/lamdu/lamdu - bdf74965183f8c72279a90338ca20b85f22b30a4 authored almost 3 years ago

Remove unneeded type

github.com/lamdu/lamdu - 4fa6752bb3a4c894745297462b350736359b2444 authored almost 3 years ago

Remove dead code and partiality

github.com/lamdu/lamdu - 2581d63983d544a78dfbd3bef14f514caa2b0d45 authored almost 3 years ago

AST support for recursive destructure (not yet implemented in sugar and gui)

github.com/lamdu/lamdu - a3155ed568cc43e1f0ef24d48dc04ce3195a1921 authored almost 3 years ago

hlint police

github.com/lamdu/lamdu - b2f83fe951abd72e5fea0b8c1590d70d98f8385b authored almost 3 years ago

Change parameter order for LhsNames for derivation of Traversable

Even though parameter order are now inconsistent with the sugar hypertypes,
the benefit override...

github.com/lamdu/lamdu - 50d298bc0805ceaf9660978eb201f1fe454f278f authored almost 3 years ago

Rename Params to LhsName to represent they are also used for let-expressions

github.com/lamdu/lamdu - c169ceed2312130ea425b3f57feffd23d8a2eb3c authored almost 3 years ago

Fix regression in adding parameter to let

github.com/lamdu/lamdu - c0932fc9246fc66d3a68381b62f501026338fc92 authored about 3 years ago

Add failing test for regression in cec66e24de5c

github.com/lamdu/lamdu - 1b0ff3a0201f230b1bce7521b13a2080e79d0737 authored about 3 years ago

Add comment

github.com/lamdu/lamdu - 5115383b8dfb2ce73c95f97393f74176108c5dd8 authored about 3 years ago

Fix regression in light lambdas for on used parameters

github.com/lamdu/lamdu - 00c26b9eff7d3e7cdd15d1b53ea7130febc77516 authored about 3 years ago

Add failing test for regression in ac84bd9ded8142e

github.com/lamdu/lamdu - 4a05fc11ceccc1c29ac846d129183b90a951a70b authored about 3 years ago

Destructure for let-items, parameters syntax changed to avoid ambiguity!

github.com/lamdu/lamdu - cec66e24de5c49ee8ba81c43e590327a0408ea77 authored about 3 years ago

More informative error message for malformed terms

github.com/lamdu/lamdu-calculus - 75da23ca591204a1531c0b4539fef963bee1a5d7 authored about 3 years ago

DRY

github.com/lamdu/lamdu - aaa5f4daf563dbf3d2e044e32a970978a3524001 authored about 3 years ago

Inline functions used once

github.com/lamdu/lamdu - df5c950917fe2c6136e8dc474ceb57b27aa30f18 authored about 3 years ago

AST: Simplify function parameters, null-param is just a field

github.com/lamdu/lamdu - c7bb88509fbe7db3526ac849311fe65d7ecfff36 authored about 3 years ago

Cleanup: ConvertPayload doesn't has extra field, use tuples instead

Tuples of three sometimes feel arbitrary but overall code looks nicer

github.com/lamdu/lamdu - 21ca055e3ab85ebb1cbb336281f82baf7bdccdde authored about 3 years ago

Change instances to reduce possiblity of overlapping instances

github.com/lamdu/lamdu - 1165c3000f0b49aa70ebf56aea2d2b75d95a24d5 authored about 3 years ago

Remove redundant type-clasee parameter

github.com/lamdu/lamdu - 44b95118da1424368dc56ecc0c19981ad086d2c7 authored about 3 years ago

Remove redundant constraints from type class instances

github.com/lamdu/lamdu - 29e2f2e8b28be914ba40fec70e5e9cede3745fb1 authored about 3 years ago

Oops fix tag ordering bug in hole results introduced in 759bb4de1419

github.com/lamdu/lamdu - 5f9915616553f7272d5154093df225dc95645c79 authored about 3 years ago

Less error-prone hidden-entity ids mechanism.

github.com/lamdu/lamdu - b67bdbf537571de7218413430a629b8f363aeffb authored about 3 years ago

Move function to user module and simplify

github.com/lamdu/lamdu - 691c0965e65dc2572228031f8a049a1707a7a1a0 authored about 3 years ago

DRY

github.com/lamdu/lamdu - e2d158ca06ca8c2774ada69d65eab1ad1f49e2d3 authored about 3 years ago

Tests: add some HasCallStack to better analyze failures

github.com/lamdu/lamdu - 7d79b3286c184dcffe0dd2432f541449583e91ee authored about 3 years ago

Oops fix light param disambiguation broken in 10528c0c747f

github.com/lamdu/lamdu - 6d8598e43ec2146a44ce2e35bb07ab799e8413a1 authored about 3 years ago

Light lambda sugar: replace possibly quadratic algo with linear

github.com/lamdu/lamdu - ac84bd9ded8142e4211fbc60080439f7aa7199a0 authored about 3 years ago

Syntax: ParamsRecord available only in hole results

github.com/lamdu/lamdu - 759bb4de14193e9474a8e99ee403dd75689b8d88 authored about 3 years ago

Syntax: Remove distinction (color highlighting etc) between let variables and parameters

github.com/lamdu/lamdu - 10528c0c747fd6f9a32a65d938142aa2f896c7b6 authored about 3 years ago

Renames towards Sugar AST simplification (removing distinction between let variables and params)

github.com/lamdu/lamdu - 6fc37b2648854bd448bfaa1092240dfb963f9036 authored about 3 years ago

stdlib: toBytes gets list

github.com/lamdu/lamdu - 32dc36fb9024f0fd6fe4e59a13ecbd1d357caf2c authored about 3 years ago

Remove unnecessary words from stdlib

Will make for easier translations!

github.com/lamdu/lamdu - fa766d5a382ea26afe602ae66324afc841719b0e authored about 3 years ago

Stdlib: rename recursively->loop

github.com/lamdu/lamdu - e7a7f74a3e9887a03acf5aac9afeb7cac2e42ee0 authored about 3 years ago

stdlib translations for continuation

github.com/lamdu/lamdu - 7a5be89ab30b6315b782d6a709952e61136f3561 authored about 3 years ago

Extract Sugar.Lens.Annotations

github.com/lamdu/lamdu - d0bead30a9422e1604ecb2b0d967a0193ac8a513 authored about 3 years ago

Lens style

github.com/lamdu/lamdu - 1aa51b8325a5a74a13749a6aedbca84655fbc2f6 authored about 3 years ago

Remove dead code

github.com/lamdu/lamdu - fa778a8545a9d472cf63806c362133326b081d3b authored about 3 years ago

Extract Sugar.Props from Sugar.Lens

These were helpers to Sugar.Lens but are not lens themselves.

github.com/lamdu/lamdu - d6779ce8e10927b54c609a070c9e9f5c21960897 authored about 3 years ago

Oops fix relaxed light-lambda conditions accidentally in 56aaf3b44a4d9

github.com/lamdu/lamdu - 91fde0a0423b2320433d33c906d7690e49df0ea3 authored about 3 years ago

Extract LHS code from LambdaEdit to ParamsEdit towards re-use for light-let

github.com/lamdu/lamdu - 0c755f9cb27d3a7581aea3bc87531c6540677635 authored about 3 years ago

When assignment represents a light lambda, don't use BodyFunction sugar, but rather "= lam".

This is a more light-weight sugar but perhaps is undesired?
Leaving this way because quite possi...

github.com/lamdu/lamdu - a4fdf57b6b7ab71411da5d343de1156a691c504b authored about 3 years ago

stdlib: num->text function called text (like in D)

github.com/lamdu/lamdu - 48c59adc40f4a19bf379f3228253b4a6ed8680d1 authored about 3 years ago

Extract toAssignment towards reuse in let-item destructuring

github.com/lamdu/lamdu - c3cfc39cc3d11e3341533ae81f7dac63169b8bb0 authored about 3 years ago

Extract module GUI.Expr.ParamsEdit

github.com/lamdu/lamdu - f8a686941c03fbd636d1aa2261c72704db45997c authored about 3 years ago

AssignmentEdit changes towards let-item destructuring

github.com/lamdu/lamdu - 73c85d892383f1c6f858d38c889f6dafd2db4fcb authored about 3 years ago

stdlib: fix wrong utf8 encoding in fromChars

github.com/lamdu/lamdu - 97c1704b0e4640a1dab97890d72d888ac98b64c1 authored about 3 years ago

Fix anim id clash for indentation bars visible in new stdlib fromChars

github.com/lamdu/lamdu - d476a268985f1ceceba0195197714969d6491692 authored about 3 years ago

stdlib: fromChars

github.com/lamdu/lamdu - 13537d58c6ed11a8debd0966639ae807771ab7a2 authored about 3 years ago

stdlib: generalize "recursively"

github.com/lamdu/lamdu - 6d5a75b7935a2e4d0aeab36634574f0dbfc51c45 authored about 3 years ago

Fix typing of literal chars

github.com/lamdu/lamdu - 6c5239b2722c82d71201c06aa35ab0332474fa4f authored about 3 years ago

Add failing wytiwys test for typing characters

github.com/lamdu/lamdu - b96edde2bc7058f2efe73b67254848784bb64800 authored about 3 years ago

hlint police

github.com/lamdu/lamdu - 7faa59a6c3e986b9ce13f7b2383bc326c867d84d authored about 3 years ago

stdlib: parse::text->num now uses chars rather than bytes

github.com/lamdu/lamdu - 37f75c700a44c0675c56e8c195bc677175d9f674 authored about 3 years ago

Stdlib: Chars is streaming and faster but doesn't do error checking

Likewise Rust's .chars() (https://doc.rust-lang.org/std/str/struct.Chars.html)
just iterates ove...

github.com/lamdu/lamdu - 68bea83c8b01ea10658dae5d0888ef8040d99235 authored about 3 years ago

Deleting if's condition or then deletes the if-then clause

github.com/lamdu/lamdu - b669e59bb8bb8b275056b0dc8cfa9499e33c4390 authored about 3 years ago

makeLiteralEventMap takes function in monad

github.com/lamdu/lamdu - 8ea5e9d95e295bdbc12719437934ef2ed85f2fdb authored about 3 years ago

Add a Literal Char Edit

github.com/lamdu/lamdu - fdd099d215ff248caf95616f1f8fb8e0f8119d71 authored about 3 years ago

Oops: Fix help string for literal bytes creation

github.com/lamdu/lamdu - 003f2d5d26bcffa558c956f555dcf3f892d736b1 authored about 3 years ago

Char eval results are sugared as chars

github.com/lamdu/lamdu - b7b5e5d0131f5ffad0e50be81beeb18dfababafd authored about 3 years ago

freshdb: Add 'Character' opaque type

github.com/lamdu/lamdu - 2598c84b25ec3b3f2c5302f771d20430f79ba5f4 authored about 3 years ago

rts: Add fromCodePoint, codePoint

github.com/lamdu/lamdu - 64d9f9db3c945719ee7702a735e0c46accc08270 authored about 3 years ago

freshdb: Add characters utf8-decoder for Text and '<&>' for errors

github.com/lamdu/lamdu - 9de305c91379cd1de934cbf1609cc39848b7b426 authored about 3 years ago

freshdb: Add 'Character' tag

github.com/lamdu/lamdu - 28f7016648b5aae5e8bf1042d57eeaa60f25f316 authored about 3 years ago

tools/leaves.jq: Add

github.com/lamdu/lamdu - 7285d5a46bf7d8fe0b8439888903bbc8227f5ffc authored about 3 years ago

Create FUNDING.yml

github.com/lamdu/lamdu - 85e898c8f279e0657e9b9b0e9a8fcdd80d0db5a5 authored about 3 years ago

Extract addToParams

github.com/lamdu/lamdu - 8eae122f41f372b6aa1e8d18e56aa05b9e9ac42d authored about 3 years ago

Fix ambiguous vertical layout when operator has annotated args (#143)

github.com/lamdu/lamdu - c8d1ee38f32fd53d9f2a1e02f2190027a6440b8c authored about 3 years ago

Fix cases where if search term in fragments doesn't work (fix #146)

github.com/lamdu/lamdu - 5c6d6cf56183fd79f644d967a0e44b1ec69e6bc3 authored about 3 years ago

Add failing test for https://github.com/lamdu/lamdu/issues/146

github.com/lamdu/lamdu - 93d3edb636d4b9939427f4260ab049ed496b452a authored about 3 years ago

Tests: fix problem in searching in test names

github.com/lamdu/lamdu - 21b58bb0b978bd4fafda37c878253cf1c095c6f2 authored about 3 years ago

Can apply literals to fragmented funcs easily (fix #145)

github.com/lamdu/lamdu - d0b2cd8869c606c4a8e1958590a56ada70337a17 authored about 3 years ago

Add failing test for https://github.com/lamdu/lamdu/issues/145

github.com/lamdu/lamdu - 814e4f477820f0302428a149205277c785555bc8 authored about 3 years ago

Simplify convertAssignment by reusing lower sugar.

Tests pass and also manual tests.
I don't see where in the underlying sugar there is the equival...

github.com/lamdu/lamdu - e5cc89625517fd645b80a9883a2a2e4b8e7319e7 authored about 3 years ago

Fix warning in Tests.Precedence

github.com/lamdu/lamdu - 09021d927db018b21d20f8f3f8b10ec5cdb2f711 authored about 3 years ago

Auto tag suffixes can be used in search terms!

Not sure that the implementation is the cleanest, but at least it works :)

github.com/lamdu/lamdu - 7da09858d85ab04443c985cf8948e97c321a86e0 authored about 3 years ago

Lens style

github.com/lamdu/lamdu - 85cb8864616cf59ea7b803f7c46ac509c594077b authored about 3 years ago

Small cleanups in tests

github.com/lamdu/lamdu - 76971a934746d773cceec2da5e6276c4296df7e6 authored about 3 years ago

More exact types: local variables are only in the lower-case namespace

github.com/lamdu/lamdu - 42cc15cca1e794734784b56d4ec9693ebd71358b authored about 3 years ago

sequenceA some types to avoid sequenceA

github.com/lamdu/lamdu - ddb6cbc5f322bbab39fae87a100a5e9f3bce302f authored about 3 years ago

No need to specialize Lens.coerced

While it may help type errors, it may also hinder changes where we do want to modify types.

github.com/lamdu/lamdu - 0f67acb555c2b15de9c4386041a50dc0ca7c0160 authored about 3 years ago

Nominals and variable in seperate disambiguation scopes due to capitalization

Todo: shouldn't be in difference scopes in Hebrew and other languages with no upper/lower-case d...

github.com/lamdu/lamdu - 05a55e92763c4463d1bb8c038b19d0d05c81827a authored about 3 years ago

Minor style change towards reducing diff in next commit

github.com/lamdu/lamdu - deb8ff8d0f5255e525b5f09771e4089aba265e94 authored about 3 years ago

More exact type for Names.Add.p1Contexts

github.com/lamdu/lamdu - ff53150bb57fb7c5c12e8fa018db3cd6f5287870 authored about 3 years ago

Avoid cloneTraversal

github.com/lamdu/lamdu - a47b3d9fa4f28eaa0b27f626d0ec6fe82577c7b9 authored about 3 years ago

Use Iso

github.com/lamdu/lamdu - 576900f890531f487e785df38c72a59ea68027bb authored about 3 years ago

Use types to better specify logic of name collisions

github.com/lamdu/lamdu - 56135b86bfe097ad8816269be0188a032953c0ff authored about 3 years ago

Use prisms

github.com/lamdu/lamdu - e6b6f29a55effd783edfca7797b8c657d4e0fdf6 authored about 3 years ago

Use foldMap

github.com/lamdu/lamdu - 30f70c77922d800bf1d6147951806987343b10e0 authored about 3 years ago

Replace map with more exact type

github.com/lamdu/lamdu - 44c4a4f934ace6128c18b3a784525849413516eb authored about 3 years ago

Style changes: top-down types

Will make next commit's diff smaller

github.com/lamdu/lamdu - eea3011e09514f025a1032db40dc73b67fc76dd9 authored about 3 years ago

Add some HasCallStack in non-inner-loop positions to make some test failures more informative

github.com/lamdu/lamdu - 6929ec7059837b6194131ab469c0e1760304422e authored about 3 years ago

Language meta-data: whether capitalization is supported

Towards disambiguating nominal constructors via casing only without disambiguation tags (in suit...

github.com/lamdu/lamdu - e2130b878559fd2032e53c8787a2855bbc19ee99 authored about 3 years ago

Sort languages alphabetically

github.com/lamdu/lamdu - 1cda181a7dca8a183e17446542a5ccf740b2a2d2 authored about 3 years ago

Consistency in internal language identifiers: Use their English names

github.com/lamdu/lamdu - 2cbf99908f50593e755771c7094ad760db4b0526 authored about 3 years ago

More info given on some test failures

github.com/lamdu/lamdu - 1b7e59729d115e25b86f9b26a5cd39673343261d authored about 3 years ago

TESTS: wytiwys tests import fresh db once

github.com/lamdu/lamdu - 8492718cab8d05f36c140cdb015f8e362ef338d0 authored about 3 years ago

Tests: RAM DB need not be bracketed

github.com/lamdu/lamdu - 236108d39db8a53f6d9f7b71021f94ac16be1081 authored about 3 years ago

Move Collider to Names.Clash

github.com/lamdu/lamdu - 64437735a34461c99f18d132ea7b6df5766ee124 authored about 3 years ago

Inline combineAD

github.com/lamdu/lamdu - 0d1b250931415c3b7de2111f7540367ca4599a4c authored about 3 years ago