github.com/lamdu/lamdu commits | Ecosyste.ms: OpenCollective

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...

596c2b89ff79c8270237875694c4f00d14ce6d3d authored over 7 years ago

HasPrecedence is 0..10 inclusive/inclusive

034cab0411bd2e046434e4f6831fdf9f6ec4d831 authored over 7 years ago

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

c2d1be576c66351ac291cdcfbf388a8cd4c678d4 authored over 7 years ago

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

a92e333cb58a3aea07710764fd111329ef11f008 authored over 7 years ago

Update the 'fac' example in the tutorial

8f415bdfd78f798a29dceaca08ef7a291a2c7d8f authored over 7 years ago

Config option to show virtual cursor for debug purposes

c27a5b77b6ca154be90516f0ed60c96c86943d76 authored over 7 years ago

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

1d8b3516a8c67734d34358473578606ee961c01b authored over 7 years ago

Debug mode for showing FPS

abe2958277f810823326c710e8b42bd28ba6521e authored over 7 years ago

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

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.

ddd6b3495f239921583797149b8cb60130780226 authored over 7 years ago

HoleEdit: small cleanup

fa597b9f51f38fe8a921d12134046cfdeed97184 authored over 7 years ago

hlint police

0e4c7f28bec492c3fa0f78434de45c567f1b8305 authored over 7 years ago

move animIdPrefix to ExpressionEdit

instead of being implemented twice

b46f008beac745a1dd20241d78dad62a544bc315 authored over 7 years ago

HoleEdit: cleanup

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.

1e1243c06ffe8012b02c4f36d1069e08c9040a42 authored over 7 years ago

Rename SetToHole=>Delete

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...

2a60ba5afb71df3b90081177e52d545ebc42ebfa authored over 7 years ago

HoleEdit: simplify makeWrapper. Doesn't get HoleInfo

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...

9d1779c455dee144a8091cf27370f77831db5667 authored over 7 years ago

freshdb: Re-export to remove redundant lambdas

bdbafbfd8eeb647f20f156cd84a1bc442a564914 authored over 7 years ago

Oops: Parens.Add did not handle apply boxes correctly

f70b4f6f7312de2d9429a350a071751365451725 authored over 7 years ago

Oops: freshdb: bind was accidentally deleted at a28ad83a7ea0db922157f6cd0db85e4062a6080f

95bcd01d1f41ab306a2502ff12e2891e82312f70 authored over 7 years ago

Errors in DB creation don't leak bad DB

469a7f10e9e33b4d7aace848ec0fc6867aafb879 authored over 7 years ago

Ignore /ghci-out/

92756df085b688644aaffae7f1d807476fb7b7c1 authored over 7 years ago

Update doc/Language.md

d91059a9a0996b78a56cd7656e5dd67731c28c6e authored over 7 years ago

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

298cef63cf77c0ab30f9fa03bee8e6908b5e2928 authored over 7 years ago

progress on Language.md document

43a31e06bbd8d45f116b8ce5ddab6c6493122861 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...

a28ad83a7ea0db922157f6cd0db85e4062a6080f 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...

efe097ce4ebae45d1060a5534e9b06f50a9564f7 authored over 7 years ago

freshdb: removed unused unnamed tag

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

73a72de6146939c5ff809f6e3a473f3a8c8f7490 authored over 7 years ago

hlint police

7e375cb419955d2a18273074211bf1e4f518969a authored over 7 years ago

Decouple Parens.Add from Name type

d1077e94fe6e71efb792ac40a7c90b6b8203c140 authored over 7 years ago

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

e51ff6dd7c9aafc2f5fdbc88d77c71fde1e4fc75 authored over 7 years ago

Sugar.Names.Types: Decouple from sugar

b8988a99657579407a23e4518c475782f0ddac44 authored over 7 years ago

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

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...

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")

b14f71115bbe58c25f95c500ea4c4f009ca6b70c authored over 7 years ago

minOpPrec also computed in AddParens

bacebd0e2263bce88fd508431ead1da62f4dc185 authored over 7 years ago

Parens.Add: Precedence is an Applicative

a87f99c2e7bc0502f0be72ecf3719b78c0f326ff authored over 7 years ago

dot-ghci for ghc 8.0.2

1a98aed0fa216005c937f9742d9cc0cfb9f7a6cb authored over 7 years ago

Parenthesis are an extra pass

e18e0d35a97dbb2816510fc9969986d99a4f18a9 authored over 7 years ago

Update nodejs-exec

447508cef7520ca8cc69f7a30fab80aca0ec385c authored over 7 years ago

CharClassification.{charPrecedence=>precedence}

556e4b864ebf76d1364b5e3b5825cffd92266e93 authored over 7 years ago

convertParams returns the presentation mode property

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

563f8bbf9351f26562427f9736e72d94c6b7f2cc authored over 7 years ago

update doc with Eyal's comments

32733b12dba339f46c51ea0db15488c6626b3227 authored over 7 years ago

add a document describing the sugared language

21db95f5a34b8c7112df7bdbcf082c7a8f7affeb authored over 7 years ago

update README to reflect changes in 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...

723b0e88ba0780a65c8a5da471c747ee986d33db authored over 7 years ago

Merge pull request #80 from JakeAndrew/master

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

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...

760b3eb4865e84a256219276e2b67117dcb45742 authored over 7 years ago

Lamdu.cabal: sort other-modules

c4c92d5ab5d2a100927e82457d052cf1b3c71f47 authored over 7 years ago

RedundantAnnotations: Typed pass

7ea0f27a1054d5d9222f343a126c6f30725e457e authored over 7 years ago

Rename RedundantAnnotations => AnnotationsPass

fc755986705c735adaabd910108dfbfe7f96a683 authored over 7 years ago

SugarLens: Add workAreaExpressions

f69b5dcb233d845c4fb51ef14121a4bf96c37733 authored over 7 years ago

Remove ExprGuiT.emptyPayload

667c0d29ecba6170cea1493d680bbdf5aeebaa5d authored over 7 years ago

add a preliminary doc about code storage

483ae5c20fcb72e8f5fb7a96d40700d9bb2b9db7 authored over 7 years ago

hlint police

21498ee27f3fbf2ea1eb22baf8a4553fb7318d66 authored over 7 years ago

consistent indentation fix

95c3e0758e01b777864f7235f2fafea67f666cde authored over 7 years ago

presentation mode isn't set implicitly

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

da2f0d49ece38824e2d3ef1319592d6591131416 authored over 7 years ago

remove arg: newPublicDefinitionWithPane always used with empty string

3d1d9e27e2a1cbf691d83106b81025601f6970fc authored over 7 years ago

Dont offer selection of same field param twice in same definition

c498746bf03ec36e0cdb63dc8318167eb871333b authored over 7 years ago

Sort also bad results, there may be plenty

b5f5d2ab244acedece6eebda82e6d45a492e2ee3 authored over 7 years ago

Only hole results without hole wrappers are good

eaa8a17185d43ea5872d78959017af9e54fb5a41 authored over 7 years ago

Precedence: Remove dead code

80912683c2a10c03d765b0dc772cb52bdb7d9e86 authored over 7 years ago

Lamdu.GUI.Precedence => Lamdu.Precedence

a43d6e68af20e4d061873f03e05dc12e7d2ac2e9 authored over 7 years ago

add a note on multiple choices for parenthesizing

01721753d0bb863a0fab31da93b7ef9bfa3c3ce9 authored over 7 years ago

add initial document about precedence

5811c9ea0c319baab92ec0fad4e45cd46ddf96cd authored over 7 years ago

HoleEdit.SearchTerm.make: inline makeSearchTermPropEdit

06a918392688312187d9159be02bf85294e2bdd9 authored over 7 years ago

HoleEdit.SearchTerm.make: Generalize type

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...

bfc344ce1e94d1791f9f7d28547338a3cdb1f37e authored over 7 years ago

stdlib: maintain bytes ++

2c70de38c71c91915d71675df1b11fc0bfbe3bed authored over 7 years ago

fix duplicated animids

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

b509c0e9e4de2ece8d357a38d889445c6bf5c8e4 authored over 7 years ago

stdlib: maintain concat of bytes

uses toBytes which changed in b215e0612b63

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...

331b09ecfab002346d37c3153b26153c77bc80a7 authored over 7 years ago

Inject has precedence like lambdas (experiment)

04ce5b09828cd3428c3d4d127d3e459885ddb6c2 authored over 7 years ago

Precedence Show instances

52bbc326ec845de703fb3d3bf265f89e4272f007 authored over 7 years ago

add arrow as search term for lambdas

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...

aa7780d59e37f3ee49392473eaf0a45ec0b82d18 authored over 7 years ago

stdlib: add floor and ceil

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

715e82b7c2db9483206407bb2f4b11d0be71dfed authored over 7 years ago

oops add missing file

861d51b44cadd38615bd93f8318e463e84160e00 authored over 7 years ago

extract Convert.PostProcess module

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...

fd64c7642c410d51959a5dfbdb053ee6952d759c authored over 7 years ago

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

3592d93dcaeab9ab179b534aa47d62e3ea0a16a1 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...

297c6d4e04e7e7b93272f9033c89da9e1d94b06d authored over 7 years ago

Field params use TagEdit and have tag holes!

90102807f023f8fe8d9ea80480f1c84166ab6627 authored over 7 years ago

Revert "Tags name-collide with defs/vars"

This reverts commit 3ba9570515e9fd886af3e8dee727484735828170.

* Nullary injects are disambiguat...

87d80c52f4c480309ac149f33448944e84a85919 authored over 7 years ago

InjectEdit: Use dot suffix for nullary injects

7eacfa2f92836df43a9f78859b2016b6b19c6d93 authored over 7 years ago

Responsive.Expression: boxSpacedDisambiguated reuses boxSpacedMDisamb

211ea3cb9476a5cdd4e5de0e51b1faa55af3166d authored over 7 years ago

Preserve ordering

72f70d50e7601179d5d232b9bf41858e46b35fff authored over 7 years ago

Deduplicate UUIDs before assigning collision suffixes

e86155ddf93525997fee4134c9235c3d86ca6f70 authored over 7 years ago

Inject grammar uses colon

9d8330a38b63d78af8fb3471671050d6a80242b0 authored over 7 years ago

Case alterntive grammar has colon to indicate inject

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

23276ecf6801deda70cc531716ed4e448508c3ef authored over 7 years ago

ExpressionGui: minWidth parameter for annotations is behind the monad

f465195ed1d862701941f6b079cc7bea0a6c91a1 authored over 7 years ago

Tags name-collide with defs/vars

* Due to nullary injects shown as simple tag names in expr context
defs/vars/field-vars need d...

3ba9570515e9fd886af3e8dee727484735828170 authored over 7 years ago

CaseEdit: Grammar is 'case λ of' or 'case arg of'

e81888a889cbc5aa5e7762c9153da5be5f2378bd authored over 7 years ago

Sugar actions to close records/sums

729946ebd15ed6c5c97cadf12bed77a8e9f385eb authored over 7 years ago

Can close records/sums with delete keys

8b0f66257663897275bd89546087c5e3e27ef8d4 authored over 7 years ago

Extract ClosedCompositeActions

f8f418532d74ebb2c3700c72ee7647781b203d09 authored over 7 years ago