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

Lamdu.Expr.GenIds: avoid using htraverse1 towards lamdu-calculus changes

github.com/lamdu/lamdu - c9e8167d94eb264309024ae99bd57bbc06582b9d authored about 5 years ago
minor cleanup

github.com/lamdu/lamdu - 2d975651546c4501778f51b66200e0abd2bf6f8f authored about 5 years ago
Oops parameter orders was broken

Broken in commit 2beda8a088c5e4089 which was supposed to be a refactoring..

github.com/lamdu/lamdu - 7351bc406683d812b393b9d5ad10837373b9942d authored about 5 years ago
.gitignore: Add .db

github.com/lamdu/lamdu - 14670437758f0b314627fbe5aae14136b4db88b3 authored about 5 years ago
AssignmentEdit: Remove defEventMap, which can be added outside

github.com/lamdu/lamdu - e25d0104e250895fbc1ce979a8cb0a8478f24062 authored about 5 years ago
avoid using hmapped1 and htraverse1

github.com/lamdu/lamdu - 1e5884a14c83dd3d9fb144300f9eb5b039946e36 authored about 5 years ago
generalize functions in Convert.Hole.Suggest

github.com/lamdu/lamdu - 5604a3658877cb4bed1944532fecc3a2bfe378c1 authored about 5 years ago
generalize functions in Sugar.Convert.Hole for heterogenouous ASTs

github.com/lamdu/lamdu - f3ae9293e0eb8ddb4c0fc9bef98b1b205587ce8f authored about 5 years ago
generalize detachValIfNeeded further

github.com/lamdu/lamdu - 758b8e12aeaeb60ac26db45b46dc4c3523e7b7b5 authored about 5 years ago
ApplyEdit: Operator func and right arg coupled

* Operator annotations and extra arguments are on func & right arg together

github.com/lamdu/lamdu - be34fdf85978a297382c574b0b66975d74912cc0 authored about 5 years ago
ApplyEdit: Refactor

github.com/lamdu/lamdu - b79ba3c7957106692655f9f123923f0be1172149 authored about 5 years ago
Revert ""Dotter""

This reverts commit 2fc39ffdac50b281cb6bbafef090a971182516e6.

github.com/lamdu/lamdu - 8bb139994b3eb7d5d73c1568eefb7d103939f194 authored about 5 years ago
Refine search term validity function to allow prefix dot

* Also disallow digit as first search term char for alpha-numeric names

github.com/lamdu/lamdu - 98502dfc714e256fe72a011b92d1f13d8ecd17fd authored about 5 years ago
Remove isValidName, dot is not valid anymore anyway

github.com/lamdu/lamdu - 595f3ebb25c9be3eb836e3b9173271893a8fc500 authored about 5 years ago
dot is no longer an operator

github.com/lamdu/lamdu - 4639063bbe62466db33cdbba988a14fdc4ec8b20 authored about 5 years ago
HoleResults: GetDefinition of non-operator allows dot prefix

github.com/lamdu/lamdu - d783125c3ffa446f6f2764cb98b0466d83bca8d9 authored about 5 years ago
Simplify applyWideAnnotationBehavior

github.com/lamdu/lamdu - 69d0d2179fdaa1ffd3484e74d5b097aa3d646d1c authored about 5 years ago
New FragmentEdit

github.com/lamdu/lamdu - 1489be5b352172d157590c84cd662d6eea0e515f authored about 5 years ago
Refactor WideAnnotationBehavior

* re-functionalize it: do not use a sum type that selects a function
but directly a function

github.com/lamdu/lamdu - b3b51254191d983a9f05284ca3919a4027879f0d authored about 5 years ago
Fragment: has parenthesis when needed

github.com/lamdu/lamdu - 2684a5270ad9c1ea1c91b09d109a9b2c4081e28d authored about 5 years ago
Avoid heuristic for whether a name is an operator

github.com/lamdu/lamdu - 9dd951257bc63e9e3501928f3535b9f182b0b4ee authored about 5 years ago
Names know if they're operators

github.com/lamdu/lamdu - 2ef94a2d8546ed55b5f2edfa6c2c6f78b001bfc1 authored about 5 years ago
Rename WideAnnotationBehavior => PostProcessAnnotation

github.com/lamdu/lamdu - c6745b0b21569439676a8014c8c2161c1733cf20 authored about 5 years ago
Parens: Extract newParentPrec

github.com/lamdu/lamdu - 30eb43ccf5ec65fa38ccbc056512a2fff242d32d authored about 5 years ago
The '..' tag becomes 'to'

github.com/lamdu/lamdu - 846bd1200fea306ffadb4c6096d7f52ad87a844a authored about 5 years ago
Add Fragment red line for type errors

github.com/lamdu/lamdu - a72911caf08875be741d64306c3443400fba5bd7 authored about 5 years ago
PostProcessAnnotation called even when not wide/shrinking

github.com/lamdu/lamdu - 18da7c0e32111cec12a2836934db57ea45a172aa authored about 5 years ago
SearchArea is a Widget, not Responsive

github.com/lamdu/lamdu - 3e3b2eee252ce05c0db3169b4c71694dc7853f01 authored about 5 years ago
Responsive: Remove unused boxSpacedDisambiguated

github.com/lamdu/lamdu - 97c073466332d0eee3a278efe71efeb2ac3cf3fe authored about 5 years ago
Remove fragments type indicator frame

github.com/lamdu/lamdu - 2d105b65aa45d059f62e158741bc873d39e09373 authored about 5 years ago
Avoid top-level GUI.Momentu where it is easy to do so

github.com/lamdu/lamdu - 4a9faf166b7a004474c4b6fdcd92573409a60b2a authored about 5 years ago
Disallow dot in new names, but allow it in search terms

github.com/lamdu/lamdu - 00e6d4194d683452d0c7f1253c1efa496fda25eb authored about 5 years ago
Use dot prefix for operator-mode non-operators

github.com/lamdu/lamdu - 3cb77bb5566609300fdfe16c6760614b565a3a55 authored about 5 years ago
Remove Object presentation mode

* Infix presentation mode unified into Operator mode

github.com/lamdu/lamdu - a535588339350c37b997945c3cf15e62f55f9d4d authored about 5 years ago
generalize detachValIfNeeded

github.com/lamdu/lamdu - f1a25afc42060f189ae690bac1300b458e63edaa authored about 5 years ago
hlint police

github.com/lamdu/lamdu - 7a98705cbe42f070182df58243dd85ac8b124034 authored about 5 years ago
Binary exported from Lamdu.Prelude and redundant imports cleanup

github.com/lamdu/lamdu - fdb7d0bf4a68c3e39e32ab5e59b4ce874b227ebb authored about 5 years ago
Hole.Suggest changes towards heterogenous AST

github.com/lamdu/lamdu - f9cbf6b1a352af519cf8b7921c3d942f80b56101 authored about 5 years ago
hypertypes changes

github.com/lamdu/lamdu - a9ea15d94202fa047b03c545b9a7f0701752a6b5 authored about 5 years ago
remove redundant imports

github.com/lamdu/lamdu-calculus - df5ffb2b49b304ee5f05ca2e9fea4362f25ee85b authored about 5 years ago
hypertypes # operator change

github.com/lamdu/lamdu-calculus - d770cf442ff8449ac7d15cad030d1c4aff6b3264 authored about 5 years ago
hypertypes update

github.com/lamdu/lamdu-calculus - 1c67a545b092e4c3a3c89303b8281cf8fc9851f4 authored about 5 years ago
rename Tree type synonym to #

this makes things more readable and looks more like normal type applications

github.com/lamdu/hypertypes - 89470d1d5ea6ca7fd1e52e262a5055a9c05e8223 authored about 5 years ago
hlint police

github.com/lamdu/hypertypes - 0726fa8aa63d37a8692f8abb806a3bc924043fc2 authored about 5 years ago
Hyper re-exports Proxy, Dict, Generic

These are commonly used with the library so exporting them reduces the import ceremony hassle

github.com/lamdu/hypertypes - be860a5e8356aab45245e3a143dd15b9158dfd76 authored about 5 years ago
Rename # operator to :#, towards using # to replace Tree

github.com/lamdu/hypertypes - 9db78727518e2cfd9d31d7221608845c80b61faf authored about 5 years ago
Sugar.Convert.Input.Payload is parameterized on term type towards heterogeneous AST

github.com/lamdu/lamdu - 00a9f52ca11a0d98e480e4d403cfdd25a2f5841b authored about 5 years ago
inline one-liner

github.com/lamdu/lamdu - 51d031232effc86eb8fd33000591ff44a38c6ada authored about 5 years ago
pass less unnecessary data

github.com/lamdu/lamdu - e54f00b9282c29041d7252825ed8a563204a3539 authored about 5 years ago
remove some unused intermediate results

github.com/lamdu/lamdu - 4da0c32c9e03c16defc2f58d817d00d1d622938e authored about 5 years ago
minor cleanup

github.com/lamdu/lamdu - 659d2045003c87dc1a80c68d6f568885690df8e2 authored about 5 years ago
remove some unnecessary HFunctor constraints

github.com/lamdu/lamdu-calculus - 716e197b3e2cd816b3d1303d179b14eb9dcf163e authored about 5 years ago
TH: naming augmented to support types with operators

github.com/lamdu/hypertypes - 092e957aa0025f90b37bf3b08beafb08b6662fef authored about 5 years ago
generalize culledSubexprPayloads

github.com/lamdu/lamdu - bc6fa7a411607ff664f9dac6ace830a645bf835b authored about 5 years ago
inline one-liner

github.com/lamdu/lamdu - 9d2ca30bee3ccb9e74881dee4a4d5f2debc8f16a authored about 5 years ago
A step on the way to supporting heterogenuous AST

Replaced "Tree v Type"s in the payloads to "Tree (InferResult v) Term",
towards using Term as a ...

github.com/lamdu/lamdu - 07b1642e892a8073ab074d45c5963bdca89f8d41 authored about 5 years ago
remove probably unnecessary? line

Since integration of new type inference f793c6a8cf5272e4146d3e64ed503926fbb7bc2c
we've re-resolv...

github.com/lamdu/lamdu - 0382805a7e1843979d96eddf0d5658f835a316f5 authored about 5 years ago
use inferResult lens

github.com/lamdu/lamdu-calculus - 1113821c0cb500e9c63fd5598023fb5049c19117 authored about 5 years ago
add convinience iso inferResult

github.com/lamdu/hypertypes - f4a1d10a6a8db39ffa6413b47f42cda87ade8a16 authored about 5 years ago
remove type synonyms

github.com/lamdu/lamdu - 6451b6dbbd78734208f89042967528db02ba2391 authored about 5 years ago
generalize Sugar.Convert.Load.resolve

github.com/lamdu/lamdu - ec8bf1b073888e838732c3adb3011f090bb86999 authored about 5 years ago
use hflipped

github.com/lamdu/lamdu - 60b6c0bcfb0a84fb589750a93698bf9511000e01 authored about 5 years ago
hflipped

github.com/lamdu/hypertypes - 7a96f630b50e926f3a63e749980232a06055846e authored about 5 years ago
instances for InferResult

github.com/lamdu/hypertypes - 7b106fa9541a5a27bcd78c1e1bb78b4a69ec09d7 authored about 5 years ago
Sugar.Convert.Input.Payload: remove Functor instance

Towards making it parameterized on term type

github.com/lamdu/lamdu - 34b6d2ba2164b771ef38d191eb9accc089cd541a authored about 5 years ago
Replace ValP with more generalize HRef (temporary name) towards richer underlying AST

github.com/lamdu/lamdu - d77846c75ef5b0ff0ed605efe6661eaef82522f9 authored about 5 years ago
inline some one-liners

github.com/lamdu/lamdu - 1fdcf963be5902ba8a020b77e4155e4c1fb9c09d authored about 5 years ago
Revision.Deltum.Hyper generalizations things in Lamdu.Expr.IRef

Also need to replace ExprIRef.addProperties and ValP with the new HRef (temporary name?)

Instan...

github.com/lamdu/lamdu - 23605956d2dffac06f440171b6f9bf9bae19b934 authored about 5 years ago
lamdu-calculus infer results don't include infer scopes

this change is towards cleanups of allowing to have a richer heterogenuous underlying AST,
with ...

github.com/lamdu/lamdu - 53152945f84ebb82acd1c0c1ccce00c3e85cbb6a authored about 5 years ago
minor cleanups

github.com/lamdu/lamdu-calculus - d9584d0e5ffcd365c04a5153074d06a5a9e25e56 authored about 5 years ago
Infer results don't include the scope

The scope can however be re-built from initial scope and the lambdas and to-noms on the path to ...

github.com/lamdu/lamdu-calculus - a21de644940cbc227eb1df0af411583a8eeacc10 authored about 5 years ago
Sugar.Convert.Input.Payload's inferResult field does not contain the scope

github.com/lamdu/lamdu - 7036764196833df2a253b5b2c2178493eaaac33f authored about 5 years ago
Suggest: don't get scope at each point

github.com/lamdu/lamdu - 57135436f6a11b56759adccec003c6c1974c1348 authored about 5 years ago
Minor cleanup

github.com/lamdu/lamdu - d07793b93843361db0678524f276bdd7bbee2d11 authored about 5 years ago
refine type signature

github.com/lamdu/lamdu-calculus - 6ce431bb415e51c5697fa6191bee0fe35a3efdcb authored about 5 years ago
dependency update missing in previous commit

github.com/lamdu/lamdu-calculus - d1d9e5d92e0e140061e747ff972412af58ce4f30 authored about 5 years ago
Sugar.Input.Payload has infer scope towards removal of Lamdu.Calc.IResult

github.com/lamdu/lamdu - 8e9cac89e7bc493f1f4ef0d4f40b4a494fa0ee2a authored about 5 years ago
Remove infer scopes from many places, towards cleanup in lamdu-calculus

github.com/lamdu/lamdu - 35a403ff547c145738601c0cc8b65a4941ac89d3 authored about 5 years ago
lamdu-calculus and hypertypes changes

This requires TypeApplications to help GHC infer stuff that there's seemingly no good reason it ...

github.com/lamdu/lamdu - 5d622d1cd223486397e0d3b86033ec2e5fcc30c8 authored about 5 years ago
PureInfer parameterized on env, allowing use of PureInfer () for simple unifications

github.com/lamdu/lamdu-calculus - 12dc843974ae09a635d31dd4d20465c27a9f5d3d authored about 5 years ago
rowExtendStructureMismatch doesn't require UnifyGen

github.com/lamdu/hypertypes - 2ce3374cf7a0f679fac0d0bc859c54daee1ca3c4 authored about 5 years ago
rowExtendStructureMismatch doesn't need to get outer constraints

github.com/lamdu/hypertypes - cf31db9cdc8c891fc389f743f93829719b262b9b authored about 5 years ago
add test

github.com/lamdu/hypertypes - 4a1785ee38d68d20ee853c2615e4e4ff9d320379 authored about 5 years ago
Add test/runhask

github.com/lamdu/hypertypes - 2d8a30c65b37405e3fd840f13daa3532c20d62df authored about 5 years ago
test suite checks top-level scheme rather than type

github.com/lamdu/hypertypes - 868acbdc335a87fcf67b60ac50e2c08a72cfc653 authored about 5 years ago
generalize testCommon

github.com/lamdu/hypertypes - bf851a68bb01785daf7250ac17fd35b301e3cae7 authored about 5 years ago
MonadScopeConstraints: Parameterized on types, not constraints

* Towards allowing MonadScopeConstraints to be used Recursively

github.com/lamdu/hypertypes - ef3d13a65a5cf7113fb4625f78ec1c4f8fbfd03b authored about 5 years ago
MonadScopeConstraints: Reverse parameter order

* Towards using MonadScopeConstraints Recursively

github.com/lamdu/hypertypes - 46f2ec259dfc7b0f948e71b05f35c04d40816eca authored about 5 years ago
MonadScopeConstraints => UnifyGen which subclasses Unify rather than superclasses it

github.com/lamdu/hypertypes - e325c3f292b0f1bdedb906cf2f975adae1b74548 authored about 5 years ago
add strictness annotations, lamdu-calculus's benchmark improves

github.com/lamdu/hypertypes - d1eb0cfffb1a7a90558a8384d7e0bb26dcdc5550 authored about 5 years ago
oops fix recursiveContexts to change the whole sub-tree not just the annotation

github.com/lamdu/hypertypes - 113a55509be0d2e0ff038f0399f7af26a3d11ce1 authored about 5 years ago
HContext instance for Types

github.com/lamdu/lamdu-calculus - b3b85fc4d360a4d9b09c4a80ac61a3b67343804f authored about 5 years ago
avoid using hfolded1 and hmapped1 towards changes in ast

github.com/lamdu/lamdu - f81be5688394d5a098a46d2f976a3b7578cf3b63 authored about 5 years ago
Generalize Lamdu.Sugar.Convert.Load.resolve

github.com/lamdu/lamdu - 7533f6382e3764c55599df0c4800f6e8a1b0668a authored about 5 years ago
extract exprEvalRes to top-level

github.com/lamdu/lamdu - ff377263175983caa97420e4d5478850a22ed886 authored about 5 years ago
Lamdu.Sugar.Convert.Input.initLocalsInScope changes towards richer AST

github.com/lamdu/lamdu - 6cc41c964bf02113dc101eef1f302664474249c6 authored about 5 years ago
Lamdu.Sugar.Convert.Input.preparePayloads: changes towards richer source ast

github.com/lamdu/lamdu - 451a806dcfc4196ddcdb3f03276c211bdd6c86e3 authored about 5 years ago
generalize Lamdu.Expr.GenIds.randomizeExpr

github.com/lamdu/lamdu - 6d86e328e5bd65d3e89ee73647e2bdfbee04c490 authored about 5 years ago
HContext instance for NominalInst

github.com/lamdu/hypertypes - 1c359f95bc2cd4f3f19398be3b83cbc9c7e2e2d9 authored about 5 years ago
HContext instances

github.com/lamdu/hypertypes - 236e51f4a5d3747acdccd8cc5321d205379c9c4a authored about 5 years ago