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

remove stale todo

github.com/lamdu/lamdu - 5d6ad26644268a7e87994d36c4fa4c26e52046b4 authored over 7 years ago by Yair Chuchem <[email protected]>
Animation: Use the lenses available

github.com/lamdu/lamdu - ad3c8b0be59877537917cf3644e790245759e18f authored over 7 years ago by Eyal Lotem <[email protected]>
oops fix box alignment point

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

github.com/lamdu/lamdu - 777dfb27e5a84ba593f6ca7aaf97d3d9657ccb1b authored over 7 years ago by Yair Chuchem <[email protected]>
Rewrite combine enters in Widget to fix geometry navigation

github.com/lamdu/lamdu - 4b29144440836f8b506690d8958a04e6707f5bb4 authored over 7 years ago by Eyal Lotem <[email protected]>
Aligned.axis -> View.axis

github.com/lamdu/lamdu - 9abf72596611537f884038f8465341662cbf09ad authored over 7 years ago by Eyal Lotem <[email protected]>
Glue class

* Convenient polymorphic operators for layouts
* Replaces Box widgets

github.com/lamdu/lamdu - 0ebcda83f938df8e41d30b9b62334c9152287e0f authored over 7 years ago by Yair Chuchem <[email protected]>
Remove dead scaleAround

github.com/lamdu/lamdu - 06a89799eaa6aa38203ccefe88c25e1f49eafcc1 authored over 7 years ago by Eyal Lotem <[email protected]>
Fix alignment bug introduced in 79dafa024819

github.com/lamdu/lamdu - 1ca17ee25b2cecd9726e410c0b76a42d915f53c0 authored over 7 years ago by Yair Chuchem <[email protected]>
TagEdit.makeParamTag return View

github.com/lamdu/lamdu - f0661f44dd665849451d7c7b77ec5ef96950bf1e authored over 7 years ago by Yair Chuchem <[email protected]>
assymetricPad added to Resizable class.

Towards being used by helpers to Glue that will pad widgets to translate it

github.com/lamdu/lamdu - 64ef7e399771505b30bbeb0d260280b267f7a962 authored over 7 years ago by Yair Chuchem <[email protected]>
Widget: avoid use of wView

github.com/lamdu/lamdu - f59706f746c15f389b7a2daf69bc24cd07d6fa93 authored over 7 years ago by Yair Chuchem <[email protected]>
Widget: rename {u,f}MakeLayers=>{u,f}Layers

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

github.com/lamdu/lamdu - 987d6cdfba89a752249fed0b945595ba162cd0ed authored over 7 years ago by Eyal Lotem <[email protected]>
Resizable class has scale

github.com/lamdu/lamdu - 9e444b234203cfe50982713be211d4f14387460d authored over 7 years ago by Eyal Lotem <[email protected]>
Rename Pad class to Resizable

github.com/lamdu/lamdu - 59ce7b21822713f388faaa58ba719c92987ff64b authored over 7 years ago by Eyal Lotem <[email protected]>
Aligned: Remove empty

github.com/lamdu/lamdu - 9907612ed2d2043d269a357715ddba86d4fe20ad authored over 7 years ago by Eyal Lotem <[email protected]>
Grid: Remove use of wView

github.com/lamdu/lamdu - 67ba6c5a7cc6ef40173633e503404b5676d3cf53 authored over 7 years ago by Eyal Lotem <[email protected]>
remove a use of wView

github.com/lamdu/lamdu - ef63e63681c1e295818e1bf545497030049fa7bd authored over 7 years ago by Yair Chuchem <[email protected]>
Rename: MkView/setView => SetLayers/setLayers

github.com/lamdu/lamdu - 268744c7433e0c772d7b381ac1f1b851c278f4df authored over 7 years ago by Eyal Lotem <[email protected]>
setView can no longer change the View size

github.com/lamdu/lamdu - 855d9c09f99c47db9e46a8be48121051ca91c509 authored over 7 years ago by Eyal Lotem <[email protected]>
View: Add bottom/top layers

github.com/lamdu/lamdu - 53797ce4ece13ff1e9f9035db1d0faaee5aced20 authored over 7 years ago by Eyal Lotem <[email protected]>
Add type-view below via boxWithViews

github.com/lamdu/lamdu - b55e2047f900b6bd0e43e0bd739fb6121e05f12d authored over 7 years ago by Eyal Lotem <[email protected]>
ExpressionGui: Use AlignedWidget.boxWithViews

github.com/lamdu/lamdu - 1458ae16b7d7cf8512ef874dfc4d34965b0603d2 authored over 7 years ago by Eyal Lotem <[email protected]>
Fix indent cursor bug

github.com/lamdu/lamdu - a582b3372421773e0635044238609d1b31417746 authored over 7 years ago by Eyal Lotem <[email protected]>
Revert "View supports hovers/tooltips based on available surrounding in screen"

This reverts commit 52718dd4eb8f14f5a1f4ef4bdbfaab7fc74f171b.

github.com/lamdu/lamdu - 206ac49c4e1e06185bbfde6d27f7e3fb7348e0fd authored over 7 years ago by Eyal Lotem <[email protected]>
Widget: Rearchitect the type towards proper hovers

github.com/lamdu/lamdu - f41a69dd8944874a628f0a35d3399d0757af0438 authored over 7 years ago by Eyal Lotem <[email protected]>
Kill the MEnter type synonym

github.com/lamdu/lamdu - 9fa44782ed9f70537fcb5397f97adeb6a79f38f0 authored over 7 years ago by Eyal Lotem <[email protected]>
Mouse clicks go to hovers property via Widget.enterResultLayer

We may change this when we change the hovering mechanism

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

github.com/lamdu/lamdu - 938e18cb0f53fd4545aa00dc9deda403d3f781c1 authored over 7 years ago by Yair Chuchem <[email protected]>
Grid.toWidgetWithKeys simplified

github.com/lamdu/lamdu - fef3718bfed3dcb4531d2ea30bac59666503f066 authored over 7 years ago by Yair Chuchem <[email protected]>
View supports hovers/tooltips based on available surrounding in screen

Not yet used anywhere, need to change Widget accordingly and fix our hovers.

github.com/lamdu/lamdu - 52718dd4eb8f14f5a1f4ef4bdbfaab7fc74f171b authored over 7 years ago by Yair Chuchem <[email protected]>
View.addLayersAbove function

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

github.com/lamdu/lamdu - c2fcb873f8e3176d6d6f0f190d516b076c138585 authored over 7 years ago by Yair Chuchem <[email protected]>
Remove hacky View.translate

Replaced with translateLayers which is more sensible

github.com/lamdu/lamdu - 1970c4412792333d78d41e82d9e0b5c62a3b866b authored over 7 years ago by Yair Chuchem <[email protected]>
split HasSize from HasView and remove HasView

github.com/lamdu/lamdu - a13209985924140840ac24f288f8d28ea9784c42 authored over 7 years ago by Yair Chuchem <[email protected]>
Remove evalView hover hack

github.com/lamdu/lamdu - a9c4b0dad4a32548897fd4533b9e87b6ef989d56 authored over 7 years ago by Eyal Lotem <[email protected]>
Use View.setView where applicable

github.com/lamdu/lamdu - 96a933b72fd28dd3577e12054a5c40eaf1fa6514 authored over 7 years ago by Eyal Lotem <[email protected]>
gui-examples/choice.hs

github.com/lamdu/lamdu - 6224c12f025cb3f1313a709841e797c70f8444e5 authored over 7 years ago by Yair Chuchem <[email protected]>
TextView: Remove makeWidget

github.com/lamdu/lamdu - 20a1ea4cddbe10f06070a33108c8ee00103feb99 authored over 7 years ago by Eyal Lotem <[email protected]>
Virtual cursor. Now moving up and back down comes to the same spot!

github.com/lamdu/lamdu - 3426f38ba25bf6f60aaf53949091471d6681d57c authored over 7 years ago by Eyal Lotem <[email protected]>
oops fix alignment mismatch in AlignedWidget.boxWithViews

caused bad alignments since used in ada6e7ec59

github.com/lamdu/lamdu - 7fde1c56fc1453e7c413b8619df0f13af7c3f9f6 authored over 7 years ago by Yair Chuchem <[email protected]>
Extract Pad class from MkView class

github.com/lamdu/lamdu - 317411753edbdbc37ae07c31f744c76e1ce0ef7e authored over 7 years ago by Eyal Lotem <[email protected]>
Use EventMap.eventMap instead of Widget.eventMap when applicable

github.com/lamdu/lamdu - 719d838fd48b4ae2e510f92a66486f80f7730769 authored over 7 years ago by Eyal Lotem <[email protected]>
ExpressionGui avoid lifting paren Views

github.com/lamdu/lamdu - 0e788837aeb9ec20ece91e2ca1ff467972ac779b authored over 7 years ago by Yair Chuchem <[email protected]>
HoleEdit: avoid lifting Views

github.com/lamdu/lamdu - a294646854d0d18612e2a45ba4baaec1c11535d9 authored over 7 years ago by Yair Chuchem <[email protected]>
HoleEdit: avoid premature lifts of Widgets

github.com/lamdu/lamdu - b1a8e61ece2af28d1266af996629e35801d8df81 authored over 7 years ago by Yair Chuchem <[email protected]>
RecordEdit & CaseEdit: simplify makeOpenRecord

github.com/lamdu/lamdu - 05fbe70b9e3d37b4116114c7d867dc6f1ae0a4f7 authored over 7 years ago by Yair Chuchem <[email protected]>
GetVarEdit: avoid lifting Views

github.com/lamdu/lamdu - 616bc7830bacc3413cbb63b7c168aea23a93733c authored over 7 years ago by Yair Chuchem <[email protected]>
LiteralEdit: avoid lifting views

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

github.com/lamdu/lamdu - fae13c915fc5a171d4aca5bfe743c15230564c2d authored over 7 years ago by Yair Chuchem <[email protected]>
avoid unnecessary lifting for name suffix

github.com/lamdu/lamdu - 9aa24f65b273c75d03c2c8b9a34e6f9bfd41ab2f authored over 7 years ago by Yair Chuchem <[email protected]>
use View for annotations

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

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

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

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

github.com/lamdu/lamdu - d02cfb0cf0bca2151195e9258daae9431e983700 authored over 7 years ago by Yair Chuchem <[email protected]>
oops fix alignment broken in af140d3d3d

github.com/lamdu/lamdu - 9597726904ca08b61dfa7a5a4e2e24ca0e88bb8e authored over 7 years ago by Yair Chuchem <[email protected]>
more general types

github.com/lamdu/lamdu - ca363ad3e18f7439d8699387b334a5c4c742f30e authored over 7 years ago by Yair Chuchem <[email protected]>
oops also remove vboxTopFocalSpaced from previous location

github.com/lamdu/lamdu - b762a9ddd3e30abb926ea6912d1119647beff293 authored over 7 years ago by Yair Chuchem <[email protected]>
vboxSpaced generalized and moved to lib

github.com/lamdu/lamdu - af140d3d3d4d38f1b35a20f21253d50af34af866 authored over 7 years ago by Yair Chuchem <[email protected]>
move HasStdSpacing to lib

github.com/lamdu/lamdu - e82b7c57018fd17a6aee9b1d78cac6758b6e8b88 authored over 7 years ago by Yair Chuchem <[email protected]>
ApplyEdit: Get rid of hacky Sugar.Payload creation

github.com/lamdu/lamdu - 73097a006d21e99b8f900a9da5791d3777cc1e5c authored over 7 years ago by Eyal Lotem <[email protected]>
ExpressionEdit.EventMap: ExprInfo

github.com/lamdu/lamdu - 0d73d3c6acb9c0e1ab0dddcdd65e9b69acc1b19f authored over 7 years ago by Eyal Lotem <[email protected]>
grammarLabel returns view

github.com/lamdu/lamdu - 5a8607dcdb8b06e860b946b4356d8e19b8909336 authored over 7 years ago by Yair Chuchem <[email protected]>
oops remove duplicated function

github.com/lamdu/lamdu - 265aeb46cd84ac9a326c1abca327b2fbdf4c8e5e authored over 7 years ago by Yair Chuchem <[email protected]>
addIndent uses GridView so wont depend on virtual cursor

Preperation for adding "virtual cursor" for grid navigation.

github.com/lamdu/lamdu - 6c3c845db958a79b07abbf24f5e15c2fa5280def authored over 7 years ago by Yair Chuchem <[email protected]>
remove dead code

github.com/lamdu/lamdu - 57af7b6d64e92bbcebe640180a7f6315f8325e79 authored over 7 years ago by Yair Chuchem <[email protected]>
remove hboxCentered and vboxCentered

we've moved to aligning things to the top-left so these are remains.
note that the "..." for ext...

github.com/lamdu/lamdu - 341ca0bce97de217096f76932126e1bba7a2a534 authored over 7 years ago by Yair Chuchem <[email protected]>
Move Maybe from OuterScopeInfo.osiPos to right position

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

Redex.arg already has payloads which can hold the infer payload

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

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

github.com/lamdu/lamdu - d62820a87f38c7cd6468b42c94d584b249785796 authored over 7 years ago by Yair Chuchem <[email protected]>
Convert.Binder.Redex holds infer payload

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

github.com/lamdu/lamdu - fc16fdffb7ea6aa9fd6a19d385e9fe3ec777237a authored over 7 years ago by Yair Chuchem <[email protected]>
NomEdit: Support deletion to remove ToNominal/FromNominal

github.com/lamdu/lamdu - c96b725a1095c985633bb866e2d372397c8b3365 authored over 7 years ago by Eyal Lotem <[email protected]>
color tweaks

github.com/lamdu/lamdu - 88836621b9f952e578fa0c7f3c1faa4b9c72c1ed authored over 7 years ago by Yair Chuchem <[email protected]>
avoid creating actions for hole results instead of removeUnwanted

(there are still some keys left in removeUnwanted)

github.com/lamdu/lamdu - 4f2ce40a8cc9af66b59b5db1795d81974a4642d2 authored over 7 years ago by Yair Chuchem <[email protected]>
Nom UI revamp

github.com/lamdu/lamdu - 14ada99ecd040be6580ba6c770b8b8a41409ccdc authored over 7 years ago by Eyal Lotem <[email protected]>
Add Theme.HasTheme, and use it and Config.HasConfig

github.com/lamdu/lamdu - b5206fe87f7bf2e1c2fbf3e9155b47efcc435015 authored over 7 years ago by Eyal Lotem <[email protected]>
Add TestConfig.hs tool to validate configurations

github.com/lamdu/lamdu - 3a5224b88260f85bae1c4461d916b4bc1dcf0175 authored over 7 years ago by Eyal Lotem <[email protected]>
gsr -f themeEventMap///themeSwitchEventMap

github.com/lamdu/lamdu - f074f26b5c67c9077760edb311aec2ffab91c071 authored over 7 years ago by Eyal Lotem <[email protected]>
fix ctrl-del for wrappers - removes wrapper when applicable

github.com/lamdu/lamdu - c64799536cbd251bf9963dba87c16bfb475b1152 authored over 7 years ago by Yair Chuchem <[email protected]>
get rid of egIsFocused

that was an odd hack and it wasn't necessary

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

Hopefully alignment isn't messed up from it :)

github.com/lamdu/lamdu - 79dafa0248196d3874c61961c42a7938fab1f9e9 authored over 7 years ago by Yair Chuchem <[email protected]>
Mainloop is in charge of keeping cursor state

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

github.com/lamdu/lamdu - 308e11e2e9ceb0332fee8129f28c686b66df132b authored over 7 years ago by Yair Chuchem <[email protected]>
Bottle.Main: Env type towards mainloop being in charge of cursor

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

github.com/lamdu/lamdu - 28dd8fd781e866db7b32457cea28abf6316b1e92 authored over 7 years ago by Yair Chuchem <[email protected]>
Simplify nom guis.

They are now just always fully displayed (except where being patterned matched),
no hovers, no b...

github.com/lamdu/lamdu - 353c905f6478278861a3e33bf8c97db30471c3d6 authored over 7 years ago by Yair Chuchem <[email protected]>
fix alignment of parameter list

visible when reducing window width for function with many parameters

github.com/lamdu/lamdu - 1cca3472532a457d449dfaa14c14d8ed2279307c authored over 7 years ago by Yair Chuchem <[email protected]>
Hole result preference for local variables

github.com/lamdu/lamdu - 51ccc40629b2cd2de8ae0fa12f3f140dbbf8cfdb authored over 7 years ago by Yair Chuchem <[email protected]>
Remove stale reference to deleted Makefile from cabal

Makefile was deleted in 04fa8ce8c99aaef1eb124586c81f1dd8f82d2c36
and added to cabal in 2013 in 1...

github.com/lamdu/lamdu - ea0ff9f5d3aaeb54f19b82acc769a913f047d773 authored over 7 years ago by Yair Chuchem <[email protected]>
hole results shouldnt have replace-parent deletion events

fixes https://trello.com/c/spptv0rc

github.com/lamdu/lamdu - 9d6c0ba0b927dd7d663342a4541f15b1f772dab2 authored over 7 years ago by Yair Chuchem <[email protected]>
oops fix recordedit alignment

github.com/lamdu/lamdu - 53f8d11b57b3f9ead6cb24e4305691c3cc385903 authored over 7 years ago by Yair Chuchem <[email protected]>
underline width is relative to font size

github.com/lamdu/lamdu - 87f906cc9c807c1312ee90300d920a991547c503 authored over 7 years ago by Yair Chuchem <[email protected]>
oops fix vertical alignment of tonom

github.com/lamdu/lamdu - 0d8e1dd1b56e60ec13d5f0b46e6626e53038e3d5 authored over 7 years ago by Yair Chuchem <[email protected]>
fix spacing for relayed args

github.com/lamdu/lamdu - 304c91090909028af1c2cb3af02eceb132252826 authored over 7 years ago by Yair Chuchem <[email protected]>
relayed args sugar, a bit similar to Haskell's named record puns.

used for relaying a parameter in function applications unchanged
(the same parameter we recieved...

github.com/lamdu/lamdu - 9501d153b41bea1ffc73d000d52b854907936192 authored over 7 years ago by Yair Chuchem <[email protected]>
fix to-nom alignment

to-nom's alignment was broken which could be seen when resizing the window
with stdlib's takeWhi...

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