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

Can execute repl's action by clicking on it's indicator again

(was regression in e9e54b0e37cb)

github.com/lamdu/lamdu - 70a67cac1dd95dcdec05c23925578bd455d05642 authored over 2 years ago by Yair Chuchem <[email protected]>
Fix unused warning in test introduced in e9e54b0e37cb, by removing test (!)

The test seems to check some interaction of def and repl but we don't have separate repl anymore...

github.com/lamdu/lamdu - 6be7ec29cec7280ac93c724abedbad860b254646 authored over 2 years ago by Yair Chuchem <[email protected]>
Rename Lamdu.GUI.Definition{Edit=>} towards becoming module hierarchy

github.com/lamdu/lamdu - 67417ab6dbd1f0796af0695aaca160013c1e5410 authored over 2 years ago by Yair Chuchem <[email protected]>
Multi-repl support!

* With small feature regression: No option to execute repl actions yet from the indicator (works...

github.com/lamdu/lamdu - e9e54b0e37cb121fe4bd761ba555b841011fd60b authored over 2 years ago by Yair Chuchem <[email protected]>
Extract newEmptyPublicDefinitionWithPane

github.com/lamdu/lamdu - 353b8f6b254879d65e95ec92573ade5c67b86524 authored over 2 years ago by Yair Chuchem <[email protected]>
Fix regression (and failing test): Adding parameter to recursive function maintains recursive calls

(instead of making a fragment)

github.com/lamdu/lamdu - 8f3fb968d83a697098262e6eb52ee33b14ed3b0f authored over 2 years ago by Yair Chuchem <[email protected]>
Add failing test for regression in e5cc89625517

When adding parameter to recursive call it becomes a fragment rather than maintaining the recurs...

github.com/lamdu/lamdu - 8f76b43ca3c376c5f6e8ffa0d9e245789f63a6b7 authored over 2 years ago by Yair Chuchem <[email protected]>
JSON export also has open panes, which are opened when importing (currently only for defs)

Towards multi-repl.

Note that exports from this commit won't load in previous.
To fix them just...

github.com/lamdu/lamdu - 5532f77c07830606a56d2677161ed322d7dab210 authored over 2 years ago by Yair Chuchem <[email protected]>
Fix bitrot: Support new versions of RocksDB

github.com/lamdu/lamdu - b21755e2e74f5051484df5bf04d6d9c7039b0a8a authored over 2 years ago by Yair Chuchem <[email protected]>
Extract code from compileGlobalVar towards reuse in multirepl impl

github.com/lamdu/lamdu - 8f8154eb54cf875ca4b0575b071d8b4d0c821df2 authored over 2 years ago by Yair Chuchem <[email protected]>
GA(deps): Bump haskell/actions from 1.2 to 2.0

Bumps [haskell/actions](https://github.com/haskell/actions) from 1.2 to 2.0.
- [Release notes](h...

github.com/lamdu/lamdu - 60ff21c2dabb36c3925e95a5af05cf5266d9be34 authored over 2 years ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Update GHC version in CI definition, fixes failing test

github.com/lamdu/lamdu - 8f1ec756b2897cfaca03920a6e339dfb0fd115e6 authored over 2 years ago by Yair Chuchem <[email protected]>
Rename Nix test to Builds test towards also testing GHC version in GitHub actions

github.com/lamdu/lamdu - 5ca44096ef8769f40505aa131c454e946f7398f3 authored over 2 years ago by Yair Chuchem <[email protected]>
Add failing test for GHC version in GitHub actions

github.com/lamdu/lamdu - 90bea4c1e664a8260a3558a58c7e5a037a8bcd74 authored over 2 years ago by Yair Chuchem <[email protected]>
GA(deps): Bump actions/cache from 3.0.1 to 3.0.2

Bumps [actions/cache](https://github.com/actions/cache) from 3.0.1 to 3.0.2.
- [Release notes](h...

github.com/lamdu/lamdu - 8412df18651aa45dcb7f1a520e99deb514901054 authored over 2 years ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
hypertypes changes

github.com/lamdu/lamdu-calculus - b8bf43ce6925a2a575467705e5130cd1f8df35ce authored almost 3 years ago by Yair Chuchem <[email protected]>
Minor code golfs

github.com/lamdu/hypertypes - d526a13b6336c215c1a4e2b40689f66498c4ef4a authored almost 3 years ago by Yair Chuchem <[email protected]>
Remove redundant RTraversableInferOf which can be expressed using other combinators

User code needs less instances now

github.com/lamdu/hypertypes - fe0ebbf774857361633b2a1ed7a04a2ad60012fe authored almost 3 years ago by Yair Chuchem <[email protected]>
Remove unnecessary proxy arg, can use type applications instead

github.com/lamdu/hypertypes - 861c3dbdc13e828a544c92fe6e473d12a86de03a authored almost 3 years ago by Yair Chuchem <[email protected]>
Use generic1 Iso

Now stackage LTS has the generalized `generic1`
(see https://github.com/ekmett/lens/issues/890)

github.com/lamdu/hypertypes - 10d8a8029004d3aad79334943039b0e9e59a695b authored almost 3 years ago by Yair Chuchem <[email protected]>
Stdlib: Nominal arguments match their parameter lists (fix failing test)

github.com/lamdu/lamdu - 9ee98dcc72bdae2d7c4717a42cc03ea7e395b5a6 authored almost 3 years ago by Yair Chuchem <[email protected]>
Re-export freshdb.json in way JSON libs currently format it

Will reduce diff in next commit

github.com/lamdu/lamdu - 9e8d4e36332fd2e8192b86bfb0938c7998f80acd authored almost 3 years ago by Yair Chuchem <[email protected]>
Add failing stdlib test to verify args to nominals match param lists

github.com/lamdu/lamdu - 1fdbcf1891c822445bfe8130c02b38eeaa684137 authored almost 3 years ago by Yair Chuchem <[email protected]>
Remove unnecessary Recursive instance

github.com/lamdu/lamdu - 2f1a4e1c76f0054df58b1452bdac7978f7d8c9b9 authored almost 3 years ago by Yair Chuchem <[email protected]>
Use RecMethod type synonym

github.com/lamdu/lamdu - acfdc94d989f7a0443ec0009ec8e06565ff7f96a authored almost 3 years ago by Yair Chuchem <[email protected]>
Update hypertypes

The breakage mentioned in previous commit disappeared after removing ~/.stack

github.com/lamdu/lamdu - 7ae54c8703576c390ef6e7cbbfd7b74c5c20b125 authored almost 3 years ago by Yair Chuchem <[email protected]>
Split import code from Export.JSON

* It was a big module ripe for splitting
* This very module crashes GHC if updating hypertypes t...

github.com/lamdu/lamdu - c9b37ebb533bb09e37615ff16ab5bda5f32b7df6 authored almost 3 years ago by Yair Chuchem <[email protected]>
Convinience type synonyms for recursive class methods

github.com/lamdu/hypertypes - 9a28e3863b0e2525f38ce7b6efabbc056d3145b2 authored almost 3 years ago by Yair Chuchem <[email protected]>
Use foldMapRecursive

github.com/lamdu/lamdu - ea438369ac0c4c2d38f58fc489239a21b09836cb authored almost 3 years ago by Yair Chuchem <[email protected]>
GA(deps): Bump actions/cache from 2 to 3.0.1

Bumps [actions/cache](https://github.com/actions/cache) from 2 to 3.0.1.
- [Release notes](https...

github.com/lamdu/lamdu - dc9eb9d33fd5fa6ec6422294ff9ab226a3cce408 authored almost 3 years ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Extract defSchemes

github.com/lamdu/lamdu - a27e082b45a1f737e2c569aeeb0c19e1dbf35757 authored almost 3 years ago by Yair Chuchem <[email protected]>
hlint police and point-free style

github.com/lamdu/lamdu - a4679f292de8315419edd89c7705f5cce33285cb authored almost 3 years ago by Yair Chuchem <[email protected]>
Test: Rename 'schemes' test to 'valid-typevars' test

github.com/lamdu/lamdu - 1873a69960471637fcd9a41f9ff9feaa748d47db authored almost 3 years ago by Eyal Lotem <[email protected]>
test valid-typevars: Extract verifyDefExpr

github.com/lamdu/lamdu - cad238757613cb3eda94b728e3faead96980eb16 authored almost 3 years ago by Eyal Lotem <[email protected]>
Remove premature upper bounds

github.com/lamdu/lamdu - 3ce36ba972ca098cfbc9346508c845da0e72b762 authored almost 3 years ago by Eyal Lotem <[email protected]>
Switch from LevelDB to RocksDB to fix Haskell Language Server crashes

HLS seems to crash due to TH loading the modules including LevelDB, which replaces malloc with t...

github.com/lamdu/lamdu - 7c04dc798da83f56ea9400b90b0472ca7aabdd7e authored almost 3 years ago by Yair Chuchem <[email protected]>
Use leveldb-haskell from upstream, our fix from 2018 is long in it

github.com/lamdu/lamdu - 827edd52c4cba769e1d4c6cdda33e393d2b24269 authored almost 3 years ago by Yair Chuchem <[email protected]>
hlint police

github.com/lamdu/lamdu - 387e61315f10c5bdaf7c71e9504dfca1972bd42a authored almost 3 years ago by Yair Chuchem <[email protected]>
Can also build with GHC 9.2.2

github.com/lamdu/lamdu - 89a2e5a2fae26ea582630935166a3d2428927cca authored almost 3 years ago by Yair Chuchem <[email protected]>
stack.yaml: lts-19.1

github.com/lamdu/lamdu - e31e36f5cef7b3c5d9123d799b45bb55a1d78efa authored almost 3 years ago by Eyal Lotem <[email protected]>
Remove unneeded cloneLens

github.com/lamdu/lamdu - ceba8d133bf8aaf6a1c9dced0774e6cc2ec71fb2 authored almost 3 years ago by Yair Chuchem <[email protected]>
Generalize returned lenses

github.com/lamdu/momentu - 24f97dfab74ef8aa5d13acdb065b9b758d87bc2c authored almost 3 years ago by Eyal Lotem <[email protected]>
stack.yaml: Bump deps

github.com/lamdu/lamdu - 37683a0171070cba362b49d85f4f8a3b96ec7ebb authored almost 3 years ago by Eyal Lotem <[email protected]>
stack.yaml: lts-19.1

github.com/lamdu/momentu - 0a1151a832527125605db26d2ac77618835704f9 authored almost 3 years ago by Eyal Lotem <[email protected]>
stack.yaml: Update hypertypes and lts-19.1

github.com/lamdu/lamdu-calculus - 6fe1f9d89d584eb173c10f851a819865824fb5ee authored almost 3 years ago by Eyal Lotem <[email protected]>
More informative crash error messages

github.com/lamdu/hypertypes - cd441acee4af3def37e4b568de89775256f18027 authored almost 3 years ago by Eyal Lotem <[email protected]>
Pretty instance for HCompose, Prune

github.com/lamdu/hypertypes - 3f4d0f1dacbe3663b16649cfe544756372fba7a8 authored almost 3 years ago by Eyal Lotem <[email protected]>
stack.yaml: upgrade to lts-19.1

github.com/lamdu/hypertypes - c7f6b2f0caa633a5c4a0eb4a7d1f0026307c00c4 authored almost 3 years ago by Eyal Lotem <[email protected]>
Tests compile with NoImplicitPrelude

github.com/lamdu/hypertypes - 79fe2b6b6f46f5e6edb1e7f1686e4a47d7be5393 authored almost 3 years ago by Eyal Lotem <[email protected]>
Remove unreachable code found using GHC 9 -Woverlapping-patterns

github.com/lamdu/lamdu - ab4c71a979d3684793b2fd1b995135d470815d9a authored almost 3 years ago by Yair Chuchem <[email protected]>
gitignore ignore macOS .DS_Store files

github.com/lamdu/hypertypes - 1e9001367b9b86c27f48828ffb6721324238c046 authored almost 3 years ago by Yair Chuchem <[email protected]>
hlint police

github.com/lamdu/lamdu - c07456e4359fa4a26bde1ab626608b3589a17b4d authored almost 3 years ago by Yair Chuchem <[email protected]>
More Aeson compat work, avoid types in some cases to be compatible with multiple aeson vers

github.com/lamdu/lamdu - 3a3a8a571874d64eea0cd14939d211fb1a320717 authored almost 3 years ago by Yair Chuchem <[email protected]>
More transitions to newer Aeson API

github.com/lamdu/lamdu - d1cb1e11dbf614889a0b12cd194e121091948f75 authored almost 3 years ago by Yair Chuchem <[email protected]>
Abstract over Aeson details towards supporting lts-19.0

github.com/lamdu/lamdu - 97e5b155c1441acf016f73315a8d9b11ec2df15a authored almost 3 years ago by Yair Chuchem <[email protected]>
Generalise some Aeson related code towards supporting lts-19.0 / GHC 9

github.com/lamdu/lamdu - 0bf1ffe33481126a4c4aeaf88e01d9bbf55c506e authored almost 3 years ago by Yair Chuchem <[email protected]>
Dep update & remove unnecessary dep

All deps can build with lts-19.0. Lamdu itself still needs changes

github.com/lamdu/lamdu - cd2620cf5532adf8fba72a4b685c66869b26da95 authored almost 3 years ago by Yair Chuchem <[email protected]>
Changes for GHC 9.2 support

github.com/lamdu/momentu - cd5d62c7478c7b41ea2e6f789f53825883d86e01 authored almost 3 years ago by Yair Chuchem <[email protected]>
Use GHC 9 and fix warnings

github.com/lamdu/momentu - 9619e6967945cc0a005dc851b7ac599d30f606dd authored almost 3 years ago by Yair Chuchem <[email protected]>
Deps updates (towards building with GHC 9)

github.com/lamdu/lamdu - 900741c711f53ff3768e4002e126b668493948ce authored almost 3 years ago by Yair Chuchem <[email protected]>
Prep to NoStarIsType

github.com/lamdu/lamdu - 0dd4a8c88f2acfeeca4b79c40a3eb7c045b3ecd9 authored almost 3 years ago by Yair Chuchem <[email protected]>
Support GHC 9.2

github.com/lamdu/lamdu-calculus - 825b3622f6736aefd75e311cee540e0bee8b4fb0 authored almost 3 years ago by Yair Chuchem <[email protected]>
Remove unused code

github.com/lamdu/lamdu-calculus - 2afa7db716b60f868e12d59abe4e7116e9c0c3a2 authored almost 3 years ago by Yair Chuchem <[email protected]>
Fix -Wunused-packages warning

github.com/lamdu/hypertypes - dff2ce4ac0ee12742254e873d235287f832043fb authored almost 3 years ago by Yair Chuchem <[email protected]>
Changes to compile in GHC 9.2

github.com/lamdu/hypertypes - 01209ad165dcbed46de72d595fcb0a6d16b96da5 authored almost 3 years ago by Yair Chuchem <[email protected]>
Update stack resolver, use GHC 9

github.com/lamdu/hypertypes - 346af788ced8183da62e40c8f349d31b10509237 authored almost 3 years ago by Yair Chuchem <[email protected]>
Export lists for dead-code police

github.com/lamdu/lamdu - fecc7f731f9aa529d60742c35d4b8fc65509b7e9 authored almost 3 years ago by Yair Chuchem <[email protected]>
Extract Tests.Wytiwys module

github.com/lamdu/lamdu - f44bb2b4db37dba3d6b25ebe3fd9af17a5057828 authored almost 3 years ago by Yair Chuchem <[email protected]>
Revert "Action: Rename value parameter to result"

This reverts commit ef7116f7b71f4dc5dc801a3280166594153fc90a.

This broke the evaluation of "toA...

github.com/lamdu/lamdu - a8e7dab5879cb881ce1fbba28aea93db39b7bd5e authored almost 3 years ago by Eyal Lotem <[email protected]>
makeExprDefinition doesn't get inputs it doesn't need

github.com/lamdu/lamdu - 00fd85a61f441a1ebff55f483009a9e7faf83075 authored almost 3 years ago by Yair Chuchem <[email protected]>
Move presentation mode gui from AssignmentEdit to DefinitionEdit

github.com/lamdu/lamdu - d8cc4f1e94dac3708a68df2a88c87aebb55f3862 authored almost 3 years ago by Yair Chuchem <[email protected]>
AssignmentEdit: Extract layout/DRY

github.com/lamdu/lamdu - c954c07aabd2ee7359de45e4829f511289aa7e57 authored almost 3 years ago by Yair Chuchem <[email protected]>
Cleanup: assignment never needs parens

Accidentally added option in 52ee81bb7cb466

github.com/lamdu/lamdu - 1f8f9eed5b406d06d49cb569f81c7e2a86d64f11 authored almost 3 years ago by Yair Chuchem <[email protected]>
Remove partiality in AssignmentEdit and LambdaEdit

github.com/lamdu/lamdu - 7a3c7e188232514d0ad7839490da7482da3de2c7 authored almost 3 years ago by Yair Chuchem <[email protected]>
Oops fix display of evaluation results in inner scopes broken in 5e9396de371a

Moved a piece of code that was under Reader.local so its state has changed.

github.com/lamdu/lamdu - 3414d89fd3476fe4a538c281ad4485aeff40aa88 authored almost 3 years ago by Yair Chuchem <[email protected]>
Remove another field from AssignmentEdit.Parts

github.com/lamdu/lamdu - f1acfa4f39311927dcea6125b63a8ca614fe2eb3 authored almost 3 years ago by Yair Chuchem <[email protected]>
Split another part of of AssignmentEdit.Parts

github.com/lamdu/lamdu - ea265274f838692910f6ce9b81d8790565fb03dd authored almost 3 years ago by Yair Chuchem <[email protected]>
Extracting part out of AssignmentEdit.makeParts towards splitting it

github.com/lamdu/lamdu - 5e9396de371a1739dc80d57b48044793f76eadad authored almost 3 years ago by Yair Chuchem <[email protected]>
Fix crash when opening two anonymous definitions

github.com/lamdu/lamdu - 8fd616d1224a2fec731b37ead8cc85b40b4dad23 authored almost 3 years ago by Yair Chuchem <[email protected]>
Add failing test for regression in 46e8daceea0

github.com/lamdu/lamdu - 3be98d8dbe762ce7c624d89519f320d2b26936d9 authored almost 3 years ago by Yair Chuchem <[email protected]>
Add info in assertion in Names.Add

github.com/lamdu/lamdu - 5942f63166504029166fd21398da61f236cfed59 authored almost 3 years ago by Yair Chuchem <[email protected]>
GA(deps): Bump actions/checkout from 2 to 3

Bumps [actions/checkout](https://github.com/actions/checkout) from 2 to 3.
- [Release notes](htt...

github.com/lamdu/lamdu - 8e12d089c7573b68630e59b1d20aa0cbb6e453c2 authored almost 3 years ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Operator vertical layout improvements (fix #169)

github.com/lamdu/lamdu - 189043e5938b5b7014fbf5f3374dca7e3e3e14c2 authored almost 3 years ago by Yair Chuchem <[email protected]>
Stdlib: Add name for action's effects

Also add parameter lists to its definition, not just usages

github.com/lamdu/lamdu - a990eedd4b5faa542e932025302b68c1df44487b authored almost 3 years ago by Yair Chuchem <[email protected]>
Remove unused IO nominal type

github.com/lamdu/lamdu - 0a736bb227701f0fb99ebb5016c9455d3a7e606c authored almost 3 years ago by Yair Chuchem <[email protected]>
Action: Effect lists aren't wrapped in an additional IO wrapper

Done using

jq --indent 4 'walk(if type == "object" and ."73000000000000000000000000000000"....

github.com/lamdu/lamdu - 59aad760b6c57d2071dc4343056fdc6e92476274 authored almost 3 years ago by Yair Chuchem <[email protected]>
Action: Rename value parameter to result

Done using jq:

jq --indent 4 'walk(if type == "object" and has("42493a76616c000000000000000...

github.com/lamdu/lamdu - ef7116f7b71f4dc5dc801a3280166594153fc90a authored almost 3 years ago by Yair Chuchem <[email protected]>
oops typo

github.com/lamdu/lamdu - 9eb2c535684ef6ddd691ad44c1e1d834788461de authored almost 3 years ago by Yair Chuchem <[email protected]>
Stdlib naming: Mut -> Action

github.com/lamdu/lamdu - d991db2f70d4974e9a15e2315fb5b67190d559f5 authored almost 3 years ago by Yair Chuchem <[email protected]>
Terminology: mutRef => ref

Would make code in "Mut" more succint.
Haskell has IORef/STRef because these are distinct but if...

github.com/lamdu/lamdu - 8b6bdbea86e2f4caa3ff53bbaffbbfd398d5f400 authored almost 3 years ago by Yair Chuchem <[email protected]>
Annotations for from-nom: show type and show under from-nom rather than whole postfix-apply

github.com/lamdu/lamdu - 971e96eeb16fecfb6aa74531d82dbcdcab99946b authored almost 3 years ago by Yair Chuchem <[email protected]>
Stdlib: deprecate "elem" tag and use "item"

It's translation to all other languages is the same as "elem" so perhaps it's not as defined of ...

github.com/lamdu/lamdu - f50ef6482732f32741e13f0a5db27569396709fc authored almost 3 years ago by Yair Chuchem <[email protected]>
Single-line if expressions also if clause is a getvar (not in lambda)

github.com/lamdu/lamdu - 2cb09bc95d8b2df53a5bf88c0cc51382a065cc42 authored almost 3 years ago by Yair Chuchem <[email protected]>
stdlib: filter uses fold

github.com/lamdu/lamdu - d56f0cb1b2507974dc07838e6bcb99fa5bc1130d authored almost 3 years ago by Yair Chuchem <[email protected]>
Fix display of nominal type parameter tags

github.com/lamdu/lamdu - e1c05e0a8028e54459e7c9c41d3bc0879c78ff84 authored almost 3 years ago by Yair Chuchem <[email protected]>
More info on WYTIWYS test failures

github.com/lamdu/lamdu - fc9f6549f2994ae5730b3d677ce0efab24d95537 authored almost 3 years ago by Yair Chuchem <[email protected]>
Work-around red cursor bug

github.com/lamdu/lamdu - 1d2813b83f7083f3379d9d82cd4db042945bb9e1 authored almost 3 years ago by Yair Chuchem <[email protected]>
Fix missing scope levels

github.com/lamdu/lamdu - 0cc8b2de4bcf35007343fd66f3a70af05a456d53 authored almost 3 years ago by Yair Chuchem <[email protected]>
Add failing tests for https://github.com/lamdu/lamdu/issues/168 and additional issue

github.com/lamdu/lamdu - 52fdc329d8f561668874b075b28201a79f44c2a2 authored almost 3 years ago by Yair Chuchem <[email protected]>
hlint police

github.com/lamdu/lamdu - f69b315a0bd128c54055facc8bab8ad6cd8c9b67 authored almost 3 years ago by Yair Chuchem <[email protected]>