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 TODOs about removal of View.hoverInPlaceOf

github.com/lamdu/lamdu - f6211e24f2cfffd792c983600c233f8181a35c2b authored over 7 years ago by Eyal Lotem <[email protected]>
SizedElement subclasses Element

github.com/lamdu/lamdu - ef0332a7f5c02dd2012aec1df0b390c9c47128f3 authored over 7 years ago by Eyal Lotem <[email protected]>
Rename HasSize => SizedElement

github.com/lamdu/lamdu - 093e48afca26f364c598954ac3f32372a99694a1 authored over 7 years ago by Eyal Lotem <[email protected]>
Unify SetLayers and Resizable classes into one Element class

github.com/lamdu/lamdu - e974285b0279acdcf0d45db0f97c1023b86b6df8 authored over 7 years ago by Eyal Lotem <[email protected]>
update GuiTypes document

github.com/lamdu/lamdu - 5a3a1169c4c55283ef3016abf18ae9464b3ae7b7 authored over 7 years ago by Yair Chuchem <[email protected]>
Rename TreeLayout=>Responsive

github.com/lamdu/lamdu - 4f9bde7b9678fd1a31b593ece9f4bfc7a82db45c authored over 7 years ago by Eyal Lotem <[email protected]>
Rename GUI.Momentu.{Widget.TreeLayout=>Responsive}

github.com/lamdu/lamdu - d2af0b290c72b5df816aec3ab6036b91980826da authored over 7 years ago by Eyal Lotem <[email protected]>
GUI.Momentu: Rename from Graphics.UI.Bottle

github.com/lamdu/lamdu - 6fb3f39f88c4d48bddeb71229de6885db1be61b3 authored over 7 years ago by Eyal Lotem <[email protected]>
Lamdu.cabal: sort other-modules

github.com/lamdu/lamdu - a7f2e6731f1cab3422db28573f28c52d936575f1 authored over 7 years ago by Eyal Lotem <[email protected]>
Fix float of recursive let definitions

Fixes https://trello.com/c/woK75SI6/258-imagepng

github.com/lamdu/lamdu - 85ee736abafa76b36e1d01f336725e9e194a5afa authored over 7 years ago by Eyal Lotem <[email protected]>
Fix depsGlobalTypes of defs extracted to global scope

github.com/lamdu/lamdu - 71c765fce09da238a05e5a263775662aee1bb7fe authored over 7 years ago by Eyal Lotem <[email protected]>
ConvertMonad: globalsInScope into ScopeInfo

github.com/lamdu/lamdu - b366e5dbb34ce843c46d5c4660f699b1b4763f3c authored over 7 years ago by Eyal Lotem <[email protected]>
Float: Pretty-print type errors encountered

github.com/lamdu/lamdu - ed3bc0888c343dbfb6e3681148767ba72274f9f3 authored over 7 years ago by Eyal Lotem <[email protected]>
RecursiveRef carries the type

github.com/lamdu/lamdu - 9c7f6de73d14e52cffe645532ec938864d111653 authored over 7 years ago by Eyal Lotem <[email protected]>
Replace siGlobalsInScope with a Maybe RecursiveRef

github.com/lamdu/lamdu - 85a7eab331834086080e93ced14216af119fa5c8 authored over 7 years ago by Eyal Lotem <[email protected]>
hlint police

github.com/lamdu/lamdu - ed05802ab386538a168d7e05020a14b17b0cd3cf authored over 7 years ago by Yair Chuchem <[email protected]>
build lamdu with stackage nightly / GHC-8.2.1

github.com/lamdu/lamdu - f2196543091334ce4dc4acaf70448e39797ec791 authored over 7 years ago by Yair Chuchem <[email protected]>
fix build with stack 1.5.1

github.com/lamdu/lamdu - 1591c9e3d0a66d421cf41919560981a2cc702f27 authored over 7 years ago by Yair Chuchem <[email protected]>
update dependency

github.com/lamdu/lamdu - 63adcd7e1c1fa069dda85676b89105c7cdabd849 authored over 7 years ago by Yair Chuchem <[email protected]>
Avoid using deprecated function

(deprecation warning appears when using stack resolver nightly-2017-08-01)

github.com/lamdu/lamdu-calculus - 54e69a5ad3ccac24906bf611b68170deab75a4e5 authored over 7 years ago by Yair Chuchem <[email protected]>
fix warning

github.com/lamdu/lamdu-calculus - caf9910f1d888376cbc05665061a2d64d01db4b5 authored over 7 years ago by Yair Chuchem <[email protected]>
Don't use geometric distance but relevant-axis distance for glued widgdets

github.com/lamdu/lamdu - 99280c43d7e0ead0898dd5268360b56e34cb4154 authored over 7 years ago by Eyal Lotem <[email protected]>
Oops: Don't use false Ord instance for Vector2

github.com/lamdu/lamdu - c9231d8f047be27e59306f788f827ba5e2f99e8e authored over 7 years ago by Eyal Lotem <[email protected]>
stack.yaml: use lts-9.0. uuid-aeson no longer needed

github.com/lamdu/lamdu - 904c2e488d64a28ced6efa866e04f0201856fd68 authored over 7 years ago by Yair Chuchem <[email protected]>
evaluation results padded to be at least as wide as their types

this reduces layout changes when viewing different scopes

github.com/lamdu/lamdu - 433ca47e0b60450bfa95896c1cfacabd59a735c2 authored over 7 years ago by Yair Chuchem <[email protected]>
del on green wrapper hole search term unwraps it

github.com/lamdu/lamdu - df39bbbf9751aae93eabb500589051e5b33cb728 authored over 7 years ago by Yair Chuchem <[email protected]>
replace-parent on green hole arg removes the hole

github.com/lamdu/lamdu - 7f366af86b0f3ed77e927f9a686fe38e1734e13a authored over 7 years ago by Yair Chuchem <[email protected]>
extract module Hover from Align

github.com/lamdu/lamdu - 9c4ea72c5814c4569150d1bcbec1efa4e396dec0 authored over 7 years ago by Yair Chuchem <[email protected]>
extract Glue module from View

github.com/lamdu/lamdu - 48d585dd427ee3d85ed53d74a00cb285fa1221e0 authored over 7 years ago by Yair Chuchem <[email protected]>
fix virtual cursor not working for focus delegators

(cursor was reset whenever going over LHS or record/inject tags)

github.com/lamdu/lamdu - dec1c40663bde5cd936481e6d3df847681f79822 authored over 7 years ago by Yair Chuchem <[email protected]>
oops fix virtual cursor flipped axis bug

github.com/lamdu/lamdu - 838e1398bc03956366a539e5737583c493f5477d authored over 7 years ago by Yair Chuchem <[email protected]>
ApplyEdit: fix bug when all args are relayed

github.com/lamdu/lamdu - 81891c86cc1bbf04af648372b7b68ff09286bf64 authored over 7 years ago by Yair Chuchem <[email protected]>
inferCheckDef properly supports ParamList

github.com/lamdu/lamdu - bd43755dab48ff274eb0d5fd7b051b532ae73914 authored over 7 years ago by Yair Chuchem <[email protected]>
Revert "Revert "postProcessDef uses inferCheckDef only""

This reverts commit 0b39fdc503c533a0d1e3a619351e7d4b6bda266a.

This introduces a bug which the n...

github.com/lamdu/lamdu - dc7e003268abd177a6710ecd14d0826888a68c9f authored over 7 years ago by Yair Chuchem <[email protected]>
ParamList not specific for Input.Payload

towards fixing bugs introduced in commits 3a5e3c0b7f, 6fec9a4c79, 2d54f40ac3 which skipped Param...

github.com/lamdu/lamdu - baa40b4f9b7599c7865896067be80f2c7a241668 authored over 7 years ago by Yair Chuchem <[email protected]>
Change Direction type and fix navigation bugs

github.com/lamdu/lamdu - 1a1ba278aee6fe828f6f984dad18fe4faef10c48 authored over 7 years ago by Eyal Lotem <[email protected]>
Direction: Get rid of illegal lens

github.com/lamdu/lamdu - 3641c4eb69991d46a9f1e431002579fdf0684d37 authored over 7 years ago by Eyal Lotem <[email protected]>
Widget: Replace tuple with NavDir

github.com/lamdu/lamdu - 8257be56e1e3ed4a3e0006a18ade4c5797c76276 authored over 7 years ago by Eyal Lotem <[email protected]>
Widget always generates a reset/new virtual cursor

* Leaving the virtual cursor as-is is likely buggy as things move around

github.com/lamdu/lamdu - c8a989a1a9b67021d0474461e40df84beca70d0c authored over 7 years ago by Eyal Lotem <[email protected]>
Main: extract lookupEvent

github.com/lamdu/lamdu - 940640ddd2800cb59f4b0a21d714e3f969132733 authored over 7 years ago by Eyal Lotem <[email protected]>
Revert "postProcessDef uses inferCheckDef only"

Oops this caused major bugs - cannot add parameters to definition -
Create a new definition, add...

github.com/lamdu/lamdu - 0b39fdc503c533a0d1e3a619351e7d4b6bda266a authored over 7 years ago by Yair Chuchem <[email protected]>
EvalView: tables view for arrays of records

We'll probably also want to support records of records being flattened in the table,
and for tha...

github.com/lamdu/lamdu - 61951a33901fde8aa707a59543f17bea4de4cb75 authored over 7 years ago by Yair Chuchem <[email protected]>
Fix crash when extracting let item with escaping skolems

github.com/lamdu/lamdu - d5d57ae87750d49cde13dc8426aee35d4a51c7f8 authored over 7 years ago by Yair Chuchem <[email protected]>
moveToGlobalScope doesn't use partiality

github.com/lamdu/lamdu - 2d54f40ac3a7b1c764e80698485d58dc82df0eb7 authored over 7 years ago by Eyal Lotem <[email protected]>
postProcessExpr doesn't use partiality

github.com/lamdu/lamdu - 6fec9a4c79c8b73f8a3ca82c408f2afa6cfa8a29 authored over 7 years ago by Eyal Lotem <[email protected]>
postProcessDef uses inferCheckDef only

github.com/lamdu/lamdu - 3a5e3c0b7f0554e1173cf4ae137e5fa017e71f0b authored over 7 years ago by Eyal Lotem <[email protected]>
readValAndAddProperties partiality moved to parent

github.com/lamdu/lamdu - 7b3a69c5bd0f2f126e94af64f5a7ec24b0b0be9b authored over 7 years ago by Eyal Lotem <[email protected]>
stack.yaml: Upgrade AlgoW to expose skolem scope

github.com/lamdu/lamdu - 2a976e30103118c987e187f79b29ea05ec6daca7 authored over 7 years ago by Eyal Lotem <[email protected]>
Binder.Float: Refactor

github.com/lamdu/lamdu - 9921abbe95319347a52a700427722b354f876b2e authored over 7 years ago by Eyal Lotem <[email protected]>
Hover branch selector

github.com/lamdu/lamdu - 37a025f427909834fe068400f9ed8770d2b8c757 authored over 7 years ago by Eyal Lotem <[email protected]>
Reverse-layout hole has reverse results

github.com/lamdu/lamdu - e8f63b8c0597ab26dda30436271980489938b53f authored over 7 years ago by Eyal Lotem <[email protected]>
Hole.Open: Move addBackground to makeResultsWidget

github.com/lamdu/lamdu - ff561a379124f0fe7c320c7607b9af33f8d9f272 authored over 7 years ago by Eyal Lotem <[email protected]>
Hole.Open: Remove RecordWildCards

github.com/lamdu/lamdu - 7de5834272659cbc3a9bdce087ea98ce84923290 authored over 7 years ago by Eyal Lotem <[email protected]>
Holes extra results symbol on the right even when annotation is wider

* Also do not scale down the extra symbol

* Slightly better space use when some results have ex...

github.com/lamdu/lamdu - c48640f057a6a85d2dbc669ab915f0de09f9ce72 authored over 7 years ago by Eyal Lotem <[email protected]>
retro theme should show type errors

github.com/lamdu/lamdu - 2169cf944bb1372d8f43793d84f26285db5ac4ad authored over 7 years ago by Eyal Lotem <[email protected]>
Fix layer bug in hovers

github.com/lamdu/lamdu - a3e0bf4dfd36f2884c60af55a1987bfeef9d8dd9 authored over 7 years ago by Eyal Lotem <[email protected]>
Fix unused import warning

github.com/lamdu/lamdu - 9ba1e9d10e8275b1881e9ed628db0b33007f1d45 authored over 7 years ago by Eyal Lotem <[email protected]>
Focused widget has several focal areas for submenus -

Scroll works by the first focal area and the cursor works by the last.

Hovers work well now exc...

github.com/lamdu/lamdu - 0e10d18b8e178eee096b426d788b4413d06aa95d authored over 7 years ago by Yair Chuchem <[email protected]>
Place hovers/popup in the window when possible.

* hoverInPlaceOf accepts a list of options and different hovers supply it with several options.
...

github.com/lamdu/lamdu - 268f68bbf2ef2191a668d2cfe10c8f48f5574faf authored over 7 years ago by Eyal Lotem <[email protected]>
remove unnecessary constraint

github.com/lamdu/lamdu - 88e15c52bd882c6be81bc20fa09ff13037311f28 authored over 7 years ago by Yair Chuchem <[email protected]>
extra results: Avoid Widget.translate

github.com/lamdu/lamdu - 9960d81ecba9595dc73135ecc24d25ae3b92e40b authored over 7 years ago by Eyal Lotem <[email protected]>
GetVarEdit: De-generalize makeNameRef

github.com/lamdu/lamdu - a44817ccb16df5d3b32d1b0b94fed1be9527709f authored over 7 years ago by Eyal Lotem <[email protected]>
focusFirstExtraResult: Simplify

github.com/lamdu/lamdu - d16be72da262aa7c2e55cc9e23151a5fbcb9c99e authored over 7 years ago by Eyal Lotem <[email protected]>
Align: generalize hoverInPlaceOf

github.com/lamdu/lamdu - 27cc6f2d30a34c88c4893f895ab7b4c4e66dd260 authored over 7 years ago by Eyal Lotem <[email protected]>
Align: Use assymetricPad instead of translate

github.com/lamdu/lamdu - 1c1486c65509dcd6542ace0f746d583ae71efd3a authored over 7 years ago by Eyal Lotem <[email protected]>
Aligned.glueHelper result is like its arguments

github.com/lamdu/lamdu - 551e37069fde1a620d5e68fb3a4c94294b330ffa authored over 7 years ago by Eyal Lotem <[email protected]>
import Align as Align, not Aligned

github.com/lamdu/lamdu - c42c5272f0dd4558f4c172a7576c030d8f22871a authored over 7 years ago by Eyal Lotem <[email protected]>
TreeLayout.taggedList and fix horizontal layout bugs

Towards TreeLayout only having a vertical alignment point for text position

github.com/lamdu/lamdu - 12c7a7e9af84411c7bed58748c484f445356c11a authored over 7 years ago by Yair Chuchem <[email protected]>
fix bullet formatting

github.com/lamdu/lamdu.github.io - dc9d9b889130b2384e0cd6bcf7b58447cf7bda17 authored over 7 years ago by Steve Krouse <[email protected]>
rename module Bottle.Aligned=>Bottle.Align

github.com/lamdu/lamdu - 2086e6d8572de95745c5bbeef1e5a5250fe3e2f5 authored over 7 years ago by Yair Chuchem <[email protected]>
remove Alignment type/module

it is now almost always used in Alignment type

github.com/lamdu/lamdu - e0793132bcd8b0096b014d60ab81cc2d47416ee8 authored over 7 years ago by Yair Chuchem <[email protected]>
GridView uses Aligned rather than tuple

github.com/lamdu/lamdu - 10615278f801f5ebfdf52cec930be7f27c9ff311 authored over 7 years ago by Yair Chuchem <[email protected]>
Aligned: can glue AlignTo with AlignTo

github.com/lamdu/lamdu - beae1c08864cfd396e5853bd5c7d4074c0bc2355 authored over 7 years ago by Eyal Lotem <[email protected]>
getDef type update hovers correctly

github.com/lamdu/lamdu - dbac1c35aff796d01e30ad3679f30ee8b645e9d7 authored over 7 years ago by Eyal Lotem <[email protected]>
GetVarEdit: Avoid premature lifting

github.com/lamdu/lamdu - 18080c28dda24dd0487fed638be34079f0fefa5c authored over 7 years ago by Eyal Lotem <[email protected]>
GetVarEdit: generalize makeNameRef

github.com/lamdu/lamdu - 2121b384cd35ebfe226a4722f8ee08c57dad08d0 authored over 7 years ago by Eyal Lotem <[email protected]>
Aligned.hoverInPlaceOf: Extract liftLayer

github.com/lamdu/lamdu - a3157712cccfc1f699425df462562f7987bd6bfe authored over 7 years ago by Eyal Lotem <[email protected]>
Fix sRight/sBottom when editing size

github.com/lamdu/lamdu - f929067a16bc3f6e4be23bff3964d5b7827e5441 authored over 7 years ago by Eyal Lotem <[email protected]>
Lamdu.Prelude: allow ordinary 'trace' too

github.com/lamdu/lamdu - 5c1f300d67a7934818527bbc5a5f0a9f159d40c8 authored over 7 years ago by Eyal Lotem <[email protected]>
Lamdu Prelude has deprecated traceId

github.com/lamdu/lamdu - 636a3fe1f659ed7f9491fbe73c9570cdcb0fbc34 authored over 7 years ago by Eyal Lotem <[email protected]>
glueH sets both sizes

* This corrects the Surrounding parameters of both glued elements

github.com/lamdu/lamdu - f4d1e3374e2559ae34afeb8dc2609844820a899c authored over 7 years ago by Eyal Lotem <[email protected]>
Widget: Add stateLens and onState

github.com/lamdu/lamdu - ed38d96b6748a425e5b2e567bb0b4233cbbf186e authored over 7 years ago by Eyal Lotem <[email protected]>
Widget: translateFocused should translate surrounding as well

github.com/lamdu/lamdu - e8021fc47097f5196fd4a1f77ae0a78b05d021fb authored over 7 years ago by Eyal Lotem <[email protected]>
Widget.translate fixes surrounding

github.com/lamdu/lamdu - 0e41054f17583791e3fd4bcb77ff705060be334d authored over 7 years ago by Yair Chuchem <[email protected]>
Widget: Oops: remove duplicate stateLayers/stateMakeLayers

github.com/lamdu/lamdu - ee5e0ec923a8fec94c8d8ddd378b0d620c9b0254 authored over 7 years ago by Eyal Lotem <[email protected]>
Lamdu.Prelude: Work around missing .@~ operator export in lens

github.com/lamdu/lamdu - a6242f7664c1c4059b9bc49dc85d4639920c248c authored over 7 years ago by Eyal Lotem <[email protected]>
Remove View suffix from names

* Less hungarian notation is needed as Views/Widgets/etc can be glued
and used more directly

github.com/lamdu/lamdu - f963918a0e125a63b1d6e8415b94e9df9097b50e authored over 7 years ago by Eyal Lotem <[email protected]>
extract translateMEnter

github.com/lamdu/lamdu - 024a9c6c805dc0a90d01e3da5b7517869af2a9a6 authored over 7 years ago by Yair Chuchem <[email protected]>
hoverInPlaceOf generalized

github.com/lamdu/lamdu - d354fb845443add49c1440006fecdae61907a470 authored over 7 years ago by Yair Chuchem <[email protected]>
Fix name suffix alignment inconsistency

github.com/lamdu/lamdu - 9d7853b87cef9b6ea80fe2395162f5e27e676109 authored over 7 years ago by Yair Chuchem <[email protected]>
GridView and Grid used Aligned rather than tuples

github.com/lamdu/lamdu - 605feda700966120a340a71fac3daa02772f6b10 authored over 7 years ago by Yair Chuchem <[email protected]>
replace GridView hbox and vbox with more general versions

github.com/lamdu/lamdu - b17c2cd9a647afb465e286a36f92b123d5ac865c authored over 7 years ago by Yair Chuchem <[email protected]>
use glue operations rather than GridView boxes

towards removing stuff from GridView

github.com/lamdu/lamdu - e8bf3d6e0b02af78db344762007d745f2095a3fa authored over 7 years ago by Yair Chuchem <[email protected]>
Use Glue operators

github.com/lamdu/lamdu - c56ab80d1e13abadb8c962807f42e60b55625eea authored over 7 years ago by Yair Chuchem <[email protected]>
GridView.makePlacements uses HasSize class

github.com/lamdu/lamdu - 38d522527417eaccdf67e71478f50d228a8add5d authored over 7 years ago by Yair Chuchem <[email protected]>
Widget.translate returns Widget.State, not a valid Widget

github.com/lamdu/lamdu - 7c0e163d36d728db7f5406d10a9ed15fdf2bd9ad authored over 7 years ago by Eyal Lotem <[email protected]>
Widget.sizedState

github.com/lamdu/lamdu - 4db9c670f33ca9df42fc1fb7f78e90b4d62e5cf5 authored over 7 years ago by Eyal Lotem <[email protected]>
Widget.StateFocused gets Surrounding so it could position hovers accordingly

github.com/lamdu/lamdu - 95ed1b95d52151f738a6f0a5710305100650cd3e authored over 7 years ago by Yair Chuchem <[email protected]>
Grid: use lens

github.com/lamdu/lamdu - 047971b5f2d3e3060ef201bbf47d992f6ebc11b5 authored over 7 years ago by Yair Chuchem <[email protected]>
Grid: inline argument to let

github.com/lamdu/lamdu - f4345d47ad458df8ef6cdb973e420336885860f6 authored over 7 years ago by Yair Chuchem <[email protected]>