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

Add failing test for red cursor

Bug introduced in 3fb32970e85f2da introducing postfix-apply

github.com/lamdu/lamdu - 00fd6dbc6ae00a79ed99924855f6d7a28c16fb50 authored almost 4 years ago
Simplify some logic assigning entity-ids

convertBinder overridden underlying expr's entity-ids,
for strange reasons, ie in 2018.09.06 126...

github.com/lamdu/lamdu - 5c769ae2867ea388adf193c5db8349dee9acbc84 authored almost 4 years ago
Cleanup: use annValue lens

github.com/lamdu/lamdu - c1724bca438c17ca43c74dfe021f818b9020e22a authored almost 4 years ago
TextEdit: Fix focus cursor computation

github.com/lamdu/lamdu - c73e2cd774f2452fb54f90352c504562820d73b7 authored almost 4 years ago
TextEdit: pad *after* drawing cursor

github.com/lamdu/lamdu - 3304425a3c4e75393e4278c25a83e41d287bff8c authored almost 4 years ago
Rename TagReplace to TagChoice, as it is also used for composite's add-item

github.com/lamdu/lamdu - af1650283a7f454533e27c1b32edf62204c329c3 authored almost 4 years ago
Docs update

github.com/lamdu/lamdu - 7f552ec383268caef2c769d4dd58e931e489c881 authored almost 4 years ago
Sugar: Extract Leaf type from Term

This simplifies a few traversals of the AST (AddEval and BodyAnnotations)

github.com/lamdu/lamdu - 628e1f448a23dc4ead21934ca6e5b37d7a897d30 authored almost 4 years ago
Unapplied inject-func has parens, like unapplied operators in Haskell

github.com/lamdu/lamdu - b22d85ca8b4fcef2fd5c5613c6e5c2d6475da198 authored almost 4 years ago
Light lambda also for completely unused params

Similar to "const" in Haskell

github.com/lamdu/lamdu - bb289bd484aae4188869f42331103151bc0f3f1d authored almost 4 years ago
Light lambda syntax enabled also for simple (non-record-params) lambdas

The reasoning for enabling it only for record params was:

* That if it's a light-lambda, you'll...

github.com/lamdu/lamdu - e19faefbc2316cea274888bab2ab5999ac68d623 authored almost 4 years ago
Light lambda parameters are non ambiguous and don't need disambiguation tags

github.com/lamdu/lamdu - 38b8fd307d657d2d2322cb4d6291147982e16a7b authored almost 4 years ago
add comment

github.com/lamdu/lamdu - 044a11f56201d50982cea3c4f63b417311aecbc0 authored almost 4 years ago
Docs update

github.com/lamdu/lamdu - b61be2850ba1022ea67ccd98ae23a3d6d0a39282 authored almost 4 years ago
Add failing test for disambiguation of operators and applied get-fields

github.com/lamdu/lamdu - 9c6b2f750b587d78523df965b58bd531ccf08ef0 authored almost 4 years ago
Revert "Detected scale factor uses monitor's pixels vs. reported millimeters"

This reverts commit 4c5950a8270028990c64a26f399870c64337b3d7.

github.com/lamdu/lamdu - 07cec2c2208aafe982a5a5715b886a3c3d38d011 authored almost 4 years ago
Lamdu.VersionControl: Remove unused import

github.com/lamdu/lamdu - 18a0f401391b1b714e6ac8985bf6ff3277aebd94 authored almost 4 years ago
Disambiguate applied get-fields from operators, fixes test

github.com/lamdu/lamdu - 92296d26c72d5a58aa304ce98d681d5c99ecd837 authored almost 4 years ago
Extract Debug.Trace.Warned for preludes

github.com/lamdu/lamdu - 78e0a8c22b392ce1adafc3c3e09675a7c62ac2d3 authored almost 4 years ago
Can type .Maybe in repl

(before could only type it when suggested)

github.com/lamdu/lamdu - f856e5fbc2bd79e85107d1035165ab296bac7e86 authored almost 4 years ago
Revert "Use GHC 8.10.4": VS code does not yet support 8.10.4

This reverts commit f7edd8f00a969664097fc33957468e5c33717982.

github.com/lamdu/lamdu - 550a22a67332e9f33c6566a86cb3a15166e67940 authored almost 4 years ago
Temporarily remove support for nullary injects

Towards big changes in lamdu-calculus representation of inject, making them functions.

github.com/lamdu/lamdu - 56a01510fd7cd727e2ef583d44120fe17c1defd5 authored almost 4 years ago
Remove unused texts

Following prev commit, I wondered if that text was still used,
and then reviewed some texts and ...

github.com/lamdu/lamdu - 96461695494c10aba5e2ec233aa7f3ba09c45230 authored almost 4 years ago
Update document

github.com/lamdu/lamdu - dcd37fbf078faf3f0cb1a5e110015e7f2a2eeb67 authored almost 4 years ago
Use GHC 8.10.4

github.com/lamdu/lamdu - e1bf2966481b758c307a5df7bb5076090282c23e authored almost 4 years ago
Fix English typo

github.com/lamdu/lamdu - 6dd1a01dc00d5c8470947ca34beadb4ac50b5dc0 authored almost 4 years ago
Cleanup following 062449c031efc233

github.com/lamdu/lamdu - 85487f751b1ac1a0fbd6fb0a44f60962346084ab authored almost 4 years ago
Nullary inject is back!

github.com/lamdu/lamdu - 470e643afc0420a114e6c274bdec0e01949ef1ef authored almost 4 years ago
Hole suggests inject and get-field only when prefix typed.

This is a huge improvment!

Note about typing injects and get-fields with operator names,
these ...

github.com/lamdu/lamdu - da15984ff478fc9be0cf1a2626f0ae12f4938547 authored almost 4 years ago
New design for inject

github.com/lamdu/lamdu - bf246f9e1773852d19d32439d07936dd36eaf2e6 authored almost 4 years ago
Migrate freshdb and test programs, fixes failing tests

github.com/lamdu/lamdu - 6bc5fa135c69864e9e6a29853d318c69f565aca3 authored almost 4 years ago
Get-field and inject are functions.

(change from lamdu-calculus that propagates to sugar)

".json" programs migration separated to n...

github.com/lamdu/lamdu - 3e3af14c1db07f42c00b96f6954a57fc24e3eb68 authored almost 4 years ago
Dead-code police using weeder

github.com/lamdu/lamdu - 7c666491cd5958578331584dc24269fa36d8dd81 authored almost 4 years ago
Replace applied-case with postfix-apply which applies a case

* Appearance of lambda-case changed - now's just a ".case"

github.com/lamdu/lamdu - 4d5eac690be9fc2f88e89d408942bd09c2b6349b authored almost 4 years ago
Remove case active tag visualisation, possibly temporarily

It will be difficult to maintain this feature with the upcoming changes to case sugar:
applied c...

github.com/lamdu/lamdu - f1ed0cac3c9a52215c300d88b046b3db9ff5cd3c authored almost 4 years ago
Dead code removal: p2TextsAbove unused since switch to isomorphic auto-names

github.com/lamdu/lamdu - d4363f0905e6bda1cc16c1d6171d97bb5405da51 authored almost 4 years ago
Update installation instructions

* Ubuntu was missing a library xxf86vm
* No upper boundary on node js version needed

github.com/lamdu/lamdu - 701ca809ab228085b8e3a75b784ab49eaf252566 authored almost 4 years ago
New design for nominals syntax, losing the special symbols.

To-nom looks just like in Haskell, `NewType x`, difference from prefix-apply is the capital lett...

github.com/lamdu/lamdu - dd04a28bd02dfabcb83ff51e198f7517e10460b8 authored almost 4 years ago
minor cleanups following change

github.com/lamdu/lamdu - d9919d1192340f5b302985c7a41cad18611f1c7f authored almost 4 years ago
Can type case for empty case

Fixes https://trello.com/c/qteC7t8S/512-cant-type-case-for-empty-case

github.com/lamdu/lamdu - 2e0dffa43d437872d39b6313a29b78f91030ac1b authored almost 4 years ago
Remove caseWithNominalArgument

With upcoming changes to from-nom sugar, it won't be as necessary.
It will look like:

x.List.ca...

github.com/lamdu/lamdu - 7927511f553d97d8018ee37724a05d000ffe42c4 authored almost 4 years ago
Remove "of" as search-term for case, it doesn't appear in syntax

Reverts the 2017 commit 3852cd9ee7e1d6f41

github.com/lamdu/lamdu - df5684497ee73e63807304bad3ee155f52f33c07 authored almost 4 years ago
Fix fragment suggestions not being cached (animation and performance bug)

Bug was dormant until previous commit made fragment suggestions work!

github.com/lamdu/lamdu - 7405df198808fe560c284d66f257f92456c5bfd5 authored almost 4 years ago
Suggestions fix for fragment

For a Maybe value, like the result of "first",
taking it apart was not suggested for two reasons...

github.com/lamdu/lamdu - f6bd029b9dbffd6e2c914c40f5d0dde98577b33a authored almost 4 years ago
Simplifed usage of valGlobals fold from lamdu-calculus

github.com/lamdu/lamdu - 643ceffeb4b0d2c9e21328e9ee54a8cc6dde92f5 authored almost 4 years ago
Simplify AST: get-field and inject create functions

The benchmarks show that inference is slightly slower as expressions now have additional nodes.
...

github.com/lamdu/lamdu-calculus - 76bcf5649bf04d17d30536e1ff775361d5540df8 authored almost 4 years ago
Make fold more useful

github.com/lamdu/lamdu-calculus - cc3a78a7475f450a6a6b582a79d694db84a4711d authored almost 4 years ago
Oops actually pull fix from hypertypes

github.com/lamdu/lamdu-calculus - f1dda68d3744b33b540870e23a1e528d71bd2c9e authored almost 4 years ago
Proper fix for https://trello.com/c/OAeXOCMi/497-invalid-nullary-inject-suggested

github.com/lamdu/lamdu - 1af80b93f37d8bbac16913b51b5736773523a259 authored almost 4 years ago
Revert "Fix invalid hole completions suggested in some cases #497"

This reverts commit 6ae71b0fae6b1231540610abd072385342b30b49.

It was the wrong fix, this blocke...

github.com/lamdu/lamdu - a4248b705aad38e0d0ad7d0cfd04e26093eb8e76 authored almost 4 years ago
Remove remains of when typing in numbers was done form holes

This appears to be redundant since c43bc05e2f2dff5e47 !

github.com/lamdu/lamdu - fd40057d9a5348f1bcb39a6dd21a655332463a8b authored almost 4 years ago
Fix bug noticed in migration

Was basing new migration code on this example and it had a bug..

github.com/lamdu/lamdu - 540f0dc10c156eb9abe5a6e6b4e4fbb9d0a8faa7 authored about 4 years ago
Cleanup: extract helper function

github.com/lamdu/lamdu - 44b6dee766f0579c525fbf7cf09039ca82b855a0 authored about 4 years ago
Use annValue lens

github.com/lamdu/lamdu - b2fe06d8f788abc17d954aad1d59569e92345348 authored about 4 years ago
annValue lens

github.com/lamdu/hypertypes - e63d3e66dcb9b384a61734f141bc3e6924fcf873 authored about 4 years ago
Replace function with type-class instance

github.com/lamdu/lamdu - a03c88240707fbdabaa1fa9013aa0ecf909b534e authored about 4 years ago
Use morphTraverse1

github.com/lamdu/lamdu - b6b095ae83465c90cf193730fc414447a83347c4 authored about 4 years ago
Order fragment emplaces correctly also when params are auto-filled lambdas

github.com/lamdu/lamdu - 196ef88fff4a326b04e338607d66b0351a0bdae8 authored about 4 years ago
Replace parent for grandchild of fragment replaces the fragment (fixes failing test)

github.com/lamdu/lamdu - fc854c96e96ce62a717c48712efeb7a28b42a719 authored about 4 years ago
add failing test

github.com/lamdu/lamdu - 887677b0c46f779cc17c79b29eb98c3cc4d15be4 authored about 4 years ago
Fragments emplace according to proper order, still scored by types too

Fixes https://trello.com/c/DpBF4wQF/483-first-option-doesnt-emplace-expr-in-first-hole

Scoring ...

github.com/lamdu/lamdu - 6f44215c2667101e5b0738b5d96bab943e751fcf authored about 4 years ago
use lambda case

github.com/lamdu/lamdu - d142f101df5709fa5c13b9cd224b8960c00949c9 authored about 4 years ago
add test and TODO for better UX

the test demonstrates the down-side of the current UX,
and could have the extra character remove...

github.com/lamdu/lamdu - 0ffff9955b294bd28d2787bf4fc7544d7530f3c2 authored about 4 years ago
Fix red cursor when changing tag puns a field/arg

Fixes https://trello.com/c/uLlMpi5g/509-when-picking-record-tag-makes-the-field-pun-it-causes-re...

github.com/lamdu/lamdu - 69d0b6b812e122eefad808a6f00a4a79194f742f authored about 4 years ago
add failing test

github.com/lamdu/lamdu - 15a45f5fe6b5c98c25f804c7f72f222fcb8a4e1d authored about 4 years ago
Fix punning of auto-named variables and failing test

Fixes https://trello.com/c/Dzp5vgos/510-not-punning-auto-named-variables

github.com/lamdu/lamdu - c014d46982a51a723882c8faabe1c52edb47d5b6 authored about 4 years ago
Add failing test for punned fields with auto names

github.com/lamdu/lamdu - c8644e216b03961dda678a3734153da2ddb0577e authored about 4 years ago
Remove redundant parameter

github.com/lamdu/lamdu - 93a3ecc57b436e082fb94ee4137e32f55df139a9 authored about 4 years ago
minor cleanups

github.com/lamdu/lamdu - 92f62342da3e489c24e4ab736ca247ba66e59ac5 authored about 4 years ago
Remove special case in emplace which shouldn't happen

Originally added 5 years ago in c6b0d4f49d1d5deb0,
we didn't yet decide that results should be f...

github.com/lamdu/lamdu - 9ccea35e964b9740d279d275179a69de87f79f0a authored about 4 years ago
Use Compose

github.com/lamdu/lamdu - a21db8b3b1125a2299ee8e6b6d8589e18178e088 authored about 4 years ago
Fix failing test and regression in naming new tags since 7bf691ce675f8974b

github.com/lamdu/lamdu - c872aaea0ba1b6a1534dc9db0cffe3ce7a18c7f1 authored about 4 years ago
Add failing test for new tag regression

github.com/lamdu/lamdu - cc47e8b566287a1ac9876b5acdcbad2a03d42ae1 authored about 4 years ago
Remove unused exts

github.com/lamdu/lamdu - 112f6d86d6602e6da2dd11a41ab2548ff5f4d592 authored about 4 years ago
dont pass redundant parameter

github.com/lamdu/lamdu - 51d7b1569416ad9b45dc487d6327e38b0ff4cbee authored about 4 years ago
Group TH boilerplate lines together

github.com/lamdu/lamdu - 7b9cf9cd6dfe90a58c9a9dfd01e1b09d4642215a authored about 4 years ago
hlint police (generalized rules)

github.com/lamdu/lamdu - 101c62c759a7cb5e64c88a304ce4eb95207d5972 authored about 4 years ago
hlint police

(using https://github.com/ndmitchell/hlint/pull/1204)

github.com/lamdu/lamdu - 11217bbe8b2c40525d94b09fe641ab302b683572 authored about 4 years ago
Add test for https://github.com/lamdu/lamdu/issues/114 and pull fix from hypertypes

An equivalent test was also added in hypertypes

github.com/lamdu/lamdu-calculus - 15318e33f52bd5db6965a0ad46a955d09764288b authored about 4 years ago
Fix #114

Fixes https://github.com/lamdu/lamdu/issues/114

github.com/lamdu/lamdu - a7ecfee80cbf4e8983851011cf69c5bc4def9380 authored about 4 years ago
Fix for alpha-eq not working when matching foralls with other foralls and concrete things

github.com/lamdu/hypertypes - c0fb559c706c0e547a52100c5122eff1605b3903 authored about 4 years ago
Add failing test for https://github.com/lamdu/lamdu/issues/114

github.com/lamdu/hypertypes - 63876e09f6f60a50a702a4a45c51d7fb4c97fce5 authored about 4 years ago
Import Identity unqualified

github.com/lamdu/hypertypes - 1eb32683afd329599cf5232acf059e2c006326b7 authored about 4 years ago
Add tests skeleton

github.com/lamdu/lamdu-calculus - 8427df69d7c5874f57a4e3f25eadfd578303df9a authored about 4 years ago
hlint police

github.com/lamdu/lamdu-calculus - aa0a8caa28f9df1242238116dc91ad92c3899d06 authored about 4 years ago
use package.yaml rather than .cabal file

github.com/lamdu/lamdu-calculus - 13d2d82ef74533063b57f91c1e63e9b38f0d6829 authored about 4 years ago
fix benchmark after changes in hypertypes

github.com/lamdu/lamdu-calculus - 4f896ce9846a28a0aa00b4c4a1dad631649fcb72 authored about 4 years ago
DRY in package.yaml

github.com/lamdu/hypertypes - 8de6030e80e432b8d5f7170bdf9556019fa0b11d authored about 4 years ago
manual hlint police

not caught due to using lens operators (see https://github.com/ndmitchell/hlint/issues/1201)

github.com/lamdu/lamdu - 621d48a20a65a8b50ad558682991291e4441380a authored about 4 years ago
Fix evaluation missing when sugar swallows lambdas since b57f79845b39159a17b

* dd2497bc831573 temporarily removed evaluation
* when b57f79845 brought it back, some annotatio...

github.com/lamdu/lamdu - fda3787d7190b2db6d2598b57535ee82e6aaeaf2 authored about 4 years ago
Revert "use tail"

Oops, don't know why I made that change.. This should fix #113

This reverts commit 0833bfc74484...

github.com/lamdu/lamdu - 0582ef382c1d6a3edef75e1c00651afb24091afe authored about 4 years ago
Dead code removal

weeder also warns about "iom" but will use it in upcoming changes

github.com/lamdu/lamdu - 0e4c4e352a97a161b6eb83d9dd7b382fdac948d9 authored about 4 years ago
Partially revert "GUI doesn't need conversion from input to output actions monads"

This reverts commit 83c70e6eb958b31d7a11373e5d38b7018cc0c4bc.

Intending to use "iom" in upcomin...

github.com/lamdu/lamdu - 436e117882b4e8bb3e59c2753391c2fac96ecc13 authored about 4 years ago
Extract OnceT helpers

github.com/lamdu/lamdu - 716475c1cbc367452ea36e51ca8e4d37396e05f8 authored about 4 years ago
minor cleanup

github.com/lamdu/lamdu - fa7e929197cfc5fee72e9cdce34b5f8eab4858da authored about 4 years ago
Move Payload and NodeActions to Expression towards following change

NodeActions will contains replace-options, which need to refer to Expression, defined in this mo...

github.com/lamdu/lamdu - 8d941e15fb52fc60392f83f90c8e9cb18c82cbab authored about 4 years ago
Names.Walk: Support towards parameterizing evaluation results

github.com/lamdu/lamdu - 4cd793db82b516dad21e8c455ceda114ba115e2b authored about 4 years ago
Remove test for Fragment anim-id clashes, towards fragments UX redesign

github.com/lamdu/lamdu - 086811b7bb695a53ffa1dbf1b1cfcf600c7e7863 authored about 4 years ago
Cleanup: hole results cant have value annotations

github.com/lamdu/lamdu - f60a2d2b4a0840c3f92fda91c53180425e666544 authored about 4 years ago
Put hlint.yaml in standard place, making IDE integrations be synced

github.com/lamdu/lamdu - be58eb5a3436df8edf0d137b6326b48c06a53f89 authored about 4 years ago