Lamdu commits | Ecosyste.ms: OpenCollective

EvalView: Extract toText

github.com/lamdu/lamdu - bdc2b5f7c4ebd18557eee0817996de3509e8639b authored over 7 years ago

EvalView: Remove textView

github.com/lamdu/lamdu - 3d442f69709a5cd4f640ad6e963135108392bdb0 authored over 7 years ago

Lamdu.Sugar.Parens: Don't mix up built-in precedences with operator ones

* Precedence 0 is unambiguous
* Precedence 1 is low grammatic (lambda/nominal)
* Precedence 2-12...

github.com/lamdu/lamdu - 596c2b89ff79c8270237875694c4f00d14ce6d3d authored over 7 years ago

HasPrecedence is 0..10 inclusive/inclusive

github.com/lamdu/lamdu - 034cab0411bd2e046434e4f6831fdf9f6ec4d831 authored over 7 years ago

Rename Lamdu.Sugar.Parens.Add => Lamdu.Sugar.Parens

github.com/lamdu/lamdu - c2d1be576c66351ac291cdcfbf388a8cd4c678d4 authored over 7 years ago

TagEdit: Tool tip for "as new tag" only if needed

github.com/lamdu/lamdu - a92e333cb58a3aea07710764fd111329ef11f008 authored over 7 years ago

Update the 'fac' example in the tutorial

github.com/lamdu/lamdu - 8f415bdfd78f798a29dceaca08ef7a291a2c7d8f authored over 7 years ago

Config option to show virtual cursor for debug purposes

github.com/lamdu/lamdu - c27a5b77b6ca154be90516f0ed60c96c86943d76 authored over 7 years ago

Momentu: Move font-related stuff from Momentu.Draw to Momentu.Font

github.com/lamdu/lamdu - 1d8b3516a8c67734d34358473578606ee961c01b authored over 7 years ago

Debug mode for showing FPS

github.com/lamdu/lamdu - abe2958277f810823326c710e8b42bd28ba6521e authored over 7 years ago

Momentu: Move font-related stuff from DrawingCombinators.Utils to Momentu.Font

github.com/lamdu/lamdu - 3a3bb7cf99c32ac6eeb2d85cecb2040b946a2646 authored over 7 years ago

Don't automatically enter holes that have search term in their state.

Towards possibly removing non-transient hole state which is confusing.

github.com/lamdu/lamdu - ddd6b3495f239921583797149b8cb60130780226 authored over 7 years ago

HoleEdit: small cleanup

github.com/lamdu/lamdu - fa597b9f51f38fe8a921d12134046cfdeed97184 authored over 7 years ago

hlint police

github.com/lamdu/lamdu - 0e4c7f28bec492c3fa0f78434de45c567f1b8305 authored over 7 years ago

move animIdPrefix to ExpressionEdit

instead of being implemented twice

github.com/lamdu/lamdu - b46f008beac745a1dd20241d78dad62a544bc315 authored over 7 years ago

HoleEdit: cleanup

github.com/lamdu/lamdu - d44abbd523b7b4dc9ce5b1a93e0508afb6efeaaf authored over 7 years ago

holeMDelete action moved to a Delete variant.

Same action could possibly used for other constuct deleters, like record/case closers.

github.com/lamdu/lamdu - 1e1243c06ffe8012b02c4f36d1069e08c9040a42 authored over 7 years ago

Rename SetToHole=>Delete

github.com/lamdu/lamdu - 38aa5e3f35b23175c05dfb3e613b76041359d477 authored over 7 years ago

Sugar.Types: Remove SetWrapperToHole distinction

Both actions (this and SetToHole) are presented as delete so
this distinction doesn't really add...

github.com/lamdu/lamdu - 2a60ba5afb71df3b90081177e52d545ebc42ebfa authored over 7 years ago

HoleEdit: simplify makeWrapper. Doesn't get HoleInfo

github.com/lamdu/lamdu - 7e5381a0e7b4d645e49a0c8f960da8271f2b2819 authored over 7 years ago

PresentationMode changes (with data format changes!)

To avoid tag order changes screwing with infix params,
presentation mode should specify the spec...

github.com/lamdu/lamdu - 9d1779c455dee144a8091cf27370f77831db5667 authored over 7 years ago

freshdb: Re-export to remove redundant lambdas

github.com/lamdu/lamdu - bdbafbfd8eeb647f20f156cd84a1bc442a564914 authored over 7 years ago

Oops: Parens.Add did not handle apply boxes correctly

github.com/lamdu/lamdu - f70b4f6f7312de2d9429a350a071751365451725 authored over 7 years ago

Oops: freshdb: bind was accidentally deleted at a28ad83a7ea0db922157f6cd0db85e4062a6080f

github.com/lamdu/lamdu - 95bcd01d1f41ab306a2502ff12e2891e82312f70 authored over 7 years ago

Errors in DB creation don't leak bad DB

github.com/lamdu/lamdu - 469a7f10e9e33b4d7aace848ec0fc6867aafb879 authored over 7 years ago

Ignore /ghci-out/

github.com/lamdu/lamdu - 92756df085b688644aaffae7f1d807476fb7b7c1 authored over 7 years ago

Update doc/Language.md

github.com/lamdu/lamdu - d91059a9a0996b78a56cd7656e5dd67731c28c6e authored over 7 years ago

extract module Lamdu.Data.Meta for meta-data data-types

github.com/lamdu/lamdu - 298cef63cf77c0ab30f9fa03bee8e6908b5e2928 authored over 7 years ago

progress on Language.md document

github.com/lamdu/lamdu - 43a31e06bbd8d45f116b8ce5ddab6c6493122861 authored over 7 years ago

freshdb: use lowercase naming for tags

Unlike Haskell where they start with an uppercase letter.
In Haskell they need to be different f...

github.com/lamdu/lamdu - efe097ce4ebae45d1060a5534e9b06f50a9564f7 authored over 7 years ago

freshdb: remove unfold function

Function removed instead of maintained due to not being very commonly used probably.
Could re-ad...

github.com/lamdu/lamdu - a28ad83a7ea0db922157f6cd0db85e4062a6080f authored over 7 years ago

freshdb: removed unused unnamed tag

used to be called "substring", unused since change 38f8628a4cab8

github.com/lamdu/lamdu - 73a72de6146939c5ff809f6e3a473f3a8c8f7490 authored over 7 years ago

hlint police

github.com/lamdu/lamdu - 7e375cb419955d2a18273074211bf1e4f518969a authored over 7 years ago

Decouple Parens.Add from Name type

github.com/lamdu/lamdu - d1077e94fe6e71efb792ac40a7c90b6b8203c140 authored over 7 years ago

Rename: Lamdu.Sugar.Names.Types -> Lamdu.Name

github.com/lamdu/lamdu - e51ff6dd7c9aafc2f5fdbc88d77c71fde1e4fc75 authored over 7 years ago

Sugar.Names.Types: Decouple from sugar

github.com/lamdu/lamdu - b8988a99657579407a23e4518c475782f0ddac44 authored over 7 years ago

Sugar.Names.Types.Name: Decouple from Transaction monad

github.com/lamdu/lamdu - f2256a567eb2f7178a8966abef41236b72a67b2f authored over 7 years ago

Sugar.Types: Decoupled from Transaction monad

* The Sugar AST makes no mention of transactions / IRefs at all
* This should make code involvin...

github.com/lamdu/lamdu - 1105364bd84f5e526bd33079a74875d6528778b2 authored over 7 years ago

Sugar.Definition has a global id instead of DefI

* To avoid needing both "m" and "T m" in Sugar types (all uses of "m"
are now "T m")

github.com/lamdu/lamdu - b14f71115bbe58c25f95c500ea4c4f009ca6b70c authored over 7 years ago

minOpPrec also computed in AddParens

github.com/lamdu/lamdu - bacebd0e2263bce88fd508431ead1da62f4dc185 authored over 7 years ago

Parens.Add: Precedence is an Applicative

github.com/lamdu/lamdu - a87f99c2e7bc0502f0be72ecf3719b78c0f326ff authored over 7 years ago

dot-ghci for ghc 8.0.2

github.com/lamdu/lamdu - 1a98aed0fa216005c937f9742d9cc0cfb9f7a6cb authored over 7 years ago

Parenthesis are an extra pass

github.com/lamdu/lamdu - e18e0d35a97dbb2816510fc9969986d99a4f18a9 authored over 7 years ago

Update nodejs-exec

github.com/lamdu/lamdu - 447508cef7520ca8cc69f7a30fab80aca0ec385c authored over 7 years ago

Refer to bin/node, not node/node

github.com/lamdu/nodejs-exec - 614cfa868899f2dde5801e1b95d4bc43815e9851 authored over 7 years ago

CharClassification.{charPrecedence=>precedence}

github.com/lamdu/lamdu - 556e4b864ebf76d1364b5e3b5825cffd92266e93 authored over 7 years ago

convertParams returns the presentation mode property

Towards presentation modes defining the special fields rather than the tag orders

github.com/lamdu/lamdu - 563f8bbf9351f26562427f9736e72d94c6b7f2cc authored over 7 years ago

update doc with Eyal's comments

github.com/lamdu/lamdu - 32733b12dba339f46c51ea0db15488c6626b3227 authored over 7 years ago

add a document describing the sugared language

github.com/lamdu/lamdu - 21db95f5a34b8c7112df7bdbcf082c7a8f7affeb authored over 7 years ago

update README to reflect changes in Lamdu

github.com/lamdu/lamdu - ad611cb2f1abb9b3c5aeb55e55b686c42a48165d authored over 7 years ago

Markdown linting

Used https://github.com/markdownlint/markdownlint to get lint warning on the README.

It had som...

github.com/lamdu/lamdu - 723b0e88ba0780a65c8a5da471c747ee986d33db authored over 7 years ago

Merge pull request #80 from JakeAndrew/master

1: Overhauled README.md. Added points of clarity, gave troubleshootin…

github.com/lamdu/lamdu - 57788a7be79d6f1d6702f89da31ff20277b28ed8 authored over 7 years ago

1: Overhauled README.md. Added points of clarity, gave troubleshooting tips and pointed a few things out about Lamdu. Also improved flow of reading and grammar. Moved note about NodeJS to the top of the installation section, since installing NodeJS would be done first. Gave a couple notes about Fedora and NodeJS. Lastly, gave a note about the enviroment's F1 help.

2: Changed a shortcut key combo from Ctrl+F10 to Ctrl+F11 to avoid conflict with KDE's default u...

github.com/lamdu/lamdu - 760b3eb4865e84a256219276e2b67117dcb45742 authored over 7 years ago

Lamdu.cabal: sort other-modules

github.com/lamdu/lamdu - c4c92d5ab5d2a100927e82457d052cf1b3c71f47 authored over 7 years ago

RedundantAnnotations: Typed pass

github.com/lamdu/lamdu - 7ea0f27a1054d5d9222f343a126c6f30725e457e authored over 7 years ago

Rename RedundantAnnotations => AnnotationsPass

github.com/lamdu/lamdu - fc755986705c735adaabd910108dfbfe7f96a683 authored over 7 years ago

SugarLens: Add workAreaExpressions

github.com/lamdu/lamdu - f69b5dcb233d845c4fb51ef14121a4bf96c37733 authored over 7 years ago

Remove ExprGuiT.emptyPayload

github.com/lamdu/lamdu - 667c0d29ecba6170cea1493d680bbdf5aeebaa5d authored over 7 years ago

add a preliminary doc about code storage

github.com/lamdu/lamdu - 483ae5c20fcb72e8f5fb7a96d40700d9bb2b9db7 authored over 7 years ago

hlint police

github.com/lamdu/lamdu - 21498ee27f3fbf2ea1eb22baf8a4553fb7318d66 authored over 7 years ago

consistent indentation fix

github.com/lamdu/lamdu - 95c3e0758e01b777864f7235f2fafea67f666cde authored over 7 years ago

presentation mode isn't set implicitly

choice of which params are the infix params should be more explicit

github.com/lamdu/lamdu - da2f0d49ece38824e2d3ef1319592d6591131416 authored over 7 years ago

remove arg: newPublicDefinitionWithPane always used with empty string

github.com/lamdu/lamdu - 3d1d9e27e2a1cbf691d83106b81025601f6970fc authored over 7 years ago

Dont offer selection of same field param twice in same definition

github.com/lamdu/lamdu - c498746bf03ec36e0cdb63dc8318167eb871333b authored over 7 years ago

Sort also bad results, there may be plenty

github.com/lamdu/lamdu - b5f5d2ab244acedece6eebda82e6d45a492e2ee3 authored over 7 years ago

Only hole results without hole wrappers are good

github.com/lamdu/lamdu - eaa8a17185d43ea5872d78959017af9e54fb5a41 authored over 7 years ago

Precedence: Remove dead code

github.com/lamdu/lamdu - 80912683c2a10c03d765b0dc772cb52bdb7d9e86 authored over 7 years ago

Lamdu.GUI.Precedence => Lamdu.Precedence

github.com/lamdu/lamdu - a43d6e68af20e4d061873f03e05dc12e7d2ac2e9 authored over 7 years ago

add a note on multiple choices for parenthesizing

github.com/lamdu/lamdu - 01721753d0bb863a0fab31da93b7ef9bfa3c3ce9 authored over 7 years ago

add initial document about precedence

github.com/lamdu/lamdu - 5811c9ea0c319baab92ec0fad4e45cd46ddf96cd authored over 7 years ago

HoleEdit.SearchTerm.make: inline makeSearchTermPropEdit

github.com/lamdu/lamdu - 06a918392688312187d9159be02bf85294e2bdd9 authored over 7 years ago

HoleEdit.SearchTerm.make: Generalize type

github.com/lamdu/lamdu - 9b84b69c0795843ccd8d523ef9889ce26da3ea78 authored over 7 years ago

Fix typing quote on a closed hole

Fixes https://trello.com/c/Pc8eEhkr/283-typing-quote-in-closed-hole-generates-text-correctly-wit...

github.com/lamdu/lamdu - bfc344ce1e94d1791f9f7d28547338a3cdb1f37e authored over 7 years ago

stdlib: maintain bytes ++

github.com/lamdu/lamdu - 2c70de38c71c91915d71675df1b11fc0bfbe3bed authored over 7 years ago

add some docs about nominal types

(taken from an email Eyal wrote)

github.com/lamdu/lamdu-calculus - 4626bf28859db1dcc281574e1ae01d279ad03f86 authored over 7 years ago

documentation improvements and pseudo syntax updates

github.com/lamdu/lamdu-calculus - bfd982e9790007158a7e993b46f165a1d302f45d authored over 7 years ago

fix duplicated animids

fixes https://trello.com/c/E8eH2tVj/287-duplicated-anim-ids

github.com/lamdu/lamdu - b509c0e9e4de2ece8d357a38d889445c6bf5c8e4 authored over 7 years ago

stdlib: maintain concat of bytes

uses toBytes which changed in b215e0612b63

github.com/lamdu/lamdu - ff03ccb7867238176b7dd1e15c6ce79e33b87a67 authored over 7 years ago

(temporarily) remove letter key shortcuts

these currently collide with hole search term.

in the future we shall:
* Add a vi-like mode whe...

github.com/lamdu/lamdu - 331b09ecfab002346d37c3153b26153c77bc80a7 authored over 7 years ago

Inject has precedence like lambdas (experiment)

github.com/lamdu/lamdu - 04ce5b09828cd3428c3d4d127d3e459885ddb6c2 authored over 7 years ago

Precedence Show instances

github.com/lamdu/lamdu - 52bbc326ec845de703fb3d3bf265f89e4272f007 authored over 7 years ago

add arrow as search term for lambdas

github.com/lamdu/lamdu - c89d9d122dc9b89bfc9f19f6f6cc8abf291d414f authored over 7 years ago

stdlib shouldn't have gcd and lcm

it's a bit like having factorial in stdlib.. even if there are problems where it's useful to hav...

github.com/lamdu/lamdu - aa7780d59e37f3ee49392473eaf0a45ec0b82d18 authored over 7 years ago

stdlib: add floor and ceil

github.com/lamdu/lamdu - e58723c7198ff5b72e4c66e46f7e6474e1d03f3b authored over 7 years ago

Fix extraction of definitions where the expr's type becomes more general

Fixes https://trello.com/c/sNyS9QVJ/285-crash-when-extracting-expr-generalizes-it

github.com/lamdu/lamdu - 715e82b7c2db9483206407bb2f4b11d0be71dfed authored over 7 years ago

oops add missing file

github.com/lamdu/lamdu - 861d51b44cadd38615bd93f8318e463e84160e00 authored over 7 years ago

extract Convert.PostProcess module

github.com/lamdu/lamdu - e64ee012fa50bdb75fc5ed377f10bfc3d573fcba authored over 7 years ago

Revert functionality changes from "Clarifying comments/names in HoleEdit.collectResults"

This caused search results order to change ("/=" to show before "==")

This reverts commit 4eebb...

github.com/lamdu/lamdu - fd64c7642c410d51959a5dfbdb053ee6952d759c authored over 7 years ago

DedupTags tool no longer needed now that the GUI allows doing the same

github.com/lamdu/lamdu - 3592d93dcaeab9ab179b534aa47d62e3ea0a16a1 authored over 7 years ago

Field params use TagEdit and have tag holes!

github.com/lamdu/lamdu - 90102807f023f8fe8d9ea80480f1c84166ab6627 authored over 7 years ago

When changing field param, order of parameters persist.

Note that this, as well as changing order of params, messes with tag order for other functions a...

github.com/lamdu/lamdu - 297c6d4e04e7e7b93272f9033c89da9e1d94b06d authored over 7 years ago

Revert "Tags name-collide with defs/vars"

This reverts commit 3ba9570515e9fd886af3e8dee727484735828170.

* Nullary injects are disambiguat...

github.com/lamdu/lamdu - 87d80c52f4c480309ac149f33448944e84a85919 authored over 7 years ago

InjectEdit: Use dot suffix for nullary injects

github.com/lamdu/lamdu - 7eacfa2f92836df43a9f78859b2016b6b19c6d93 authored over 7 years ago

Responsive.Expression: boxSpacedDisambiguated reuses boxSpacedMDisamb

github.com/lamdu/lamdu - 211ea3cb9476a5cdd4e5de0e51b1faa55af3166d authored over 7 years ago

Preserve ordering

github.com/lamdu/lamdu - 72f70d50e7601179d5d232b9bf41858e46b35fff authored over 7 years ago

Deduplicate UUIDs before assigning collision suffixes

github.com/lamdu/lamdu - e86155ddf93525997fee4134c9235c3d86ca6f70 authored over 7 years ago

Inject grammar uses colon

github.com/lamdu/lamdu - 9d8330a38b63d78af8fb3471671050d6a80242b0 authored over 7 years ago

Case alterntive grammar has colon to indicate inject

github.com/lamdu/lamdu - b1c01a6394b34aff96d8af8598cc2a30c55e4463 authored over 7 years ago

Min width of eval view is not the type-view but the type annotation

* Fixes https://trello.com/c/2tjGd9pS/282

github.com/lamdu/lamdu - 23276ecf6801deda70cc531716ed4e448508c3ef authored over 7 years ago

ExpressionGui: minWidth parameter for annotations is behind the monad

github.com/lamdu/lamdu - f465195ed1d862701941f6b079cc7bea0a6c91a1 authored over 7 years ago