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

Nix build instructions don't work

wildwestrom opened this issue 9 days ago

Self hosting

wildwestrom opened this issue 25 days ago

GA(deps): Bump actions/cache from 4.1.2 to 4.2.0

dependabot[bot] opened this pull request about 1 month ago

GA(deps): Bump actions/cache from 4.0.2 to 4.1.2

dependabot[bot] opened this pull request 3 months ago

GA(deps): Bump actions/cache from 4.0.2 to 4.1.1

dependabot[bot] opened this pull request 3 months ago

GA(deps): Bump actions/cache from 4.0.2 to 4.1.0

dependabot[bot] opened this pull request 3 months ago

Fix wrong link in README.md

janreppien opened this pull request 4 months ago

fix README.md typo

maren-cole opened this pull request 5 months ago

[Bug] README typo

maren-cole opened this issue 5 months ago

lamdu.org leads to warning and then to completely different website

janreppien opened this issue 6 months ago

Broken links/Missing content in Components.md

alexsimon7 opened this issue 6 months ago

GA(deps): Bump actions/cache from 3.3.2 to 4.0.2

dependabot[bot] opened this pull request 10 months ago

GA(deps): Bump softprops/action-gh-release from 1 to 2

dependabot[bot] opened this pull request 10 months ago

GA(deps): Bump actions/cache from 3.3.2 to 4.0.1

dependabot[bot] opened this pull request 11 months ago

GA(deps): Bump actions/cache from 3.3.2 to 4.0.0

dependabot[bot] opened this pull request 12 months ago

GA(deps): Bump actions/cache from 3.3.2 to 3.3.3

dependabot[bot] opened this pull request almost 1 year ago

Update Build.md

deannaIreland opened this pull request about 1 year ago

Windows Installation

croysdaa opened this issue about 1 year ago

GA(deps): Bump actions/cache from 3.3.1 to 3.3.2

dependabot[bot] opened this pull request over 1 year ago

GA(deps): Bump actions/checkout from 3 to 4

dependabot[bot] opened this pull request over 1 year ago

UI does not contain shell

J3RN opened this issue over 1 year ago

Bug in fragment search-term

yairchu opened this issue over 1 year ago

Consider enter key for add let item

yairchu opened this issue over 1 year ago

GA(deps): Bump haskell/actions from 2.3 to 2.4

dependabot[bot] opened this pull request over 1 year ago

Smooth resize in macOS

yairchu opened this issue over 1 year ago

GA(deps): Bump actions/cache from 3.3.0 to 3.3.1

dependabot[bot] opened this pull request almost 2 years ago

GA(deps): Bump actions/cache from 3.2.5 to 3.3.0

dependabot[bot] opened this pull request almost 2 years ago

GA(deps): Bump actions/cache from 3.2.5 to 3.2.6

dependabot[bot] opened this pull request almost 2 years ago

GA(deps): Bump actions/cache from 3.2.4 to 3.2.5

dependabot[bot] opened this pull request almost 2 years ago

GA(deps): Bump actions/cache from 3.2.3 to 3.2.4

dependabot[bot] opened this pull request almost 2 years ago

GA(deps): Bump haskell/actions from 2.0 to 2.3

dependabot[bot] opened this pull request almost 2 years ago

GA(deps): Bump actions/cache from 3.2.0 to 3.2.3

dependabot[bot] opened this pull request about 2 years ago

GA(deps): Bump haskell/actions from 2.0 to 2.2

dependabot[bot] opened this pull request about 2 years ago

GA(deps): Bump haskell/actions from 2.0 to 2.1

dependabot[bot] opened this pull request about 2 years ago

GA(deps): Bump actions/cache from 3.2.0 to 3.2.2

dependabot[bot] opened this pull request about 2 years ago

GA(deps): Bump actions/cache from 3.2.0 to 3.2.1

dependabot[bot] opened this pull request about 2 years ago

GA(deps): Bump actions/cache from 3.0.11 to 3.2.0

dependabot[bot] opened this pull request about 2 years ago

Light lambda sugar check broken for nested parameters

yairchu opened this issue about 2 years ago

New presentation mode editing UX

yairchu opened this issue about 2 years ago

Assertion in hole completions when LocalMut is involved?

yairchu opened this issue about 2 years ago

Assertion when adding function parameter

yairchu opened this issue about 2 years ago

Cmd+Right to move if-expression's condition to true branch

yairchu opened this issue about 2 years ago

Allow underscore in alphanumeric search-string in holes

yairchu opened this issue about 2 years ago

Layout improvement for multi-line operators

yairchu opened this issue about 2 years ago

CI Linux environment broken

yairchu opened this issue about 2 years ago

Wrong value annotation for array

yairchu opened this issue about 2 years ago

GA(deps): Bump actions/cache from 3.0.10 to 3.0.11

dependabot[bot] opened this pull request about 2 years ago

GA(deps): Bump actions/cache from 3.0.7 to 3.0.10

dependabot[bot] opened this pull request over 2 years ago

Stack size exceeded error in simple snippet

yairchu opened this issue over 2 years ago

Abbreviation avoidance too strict?

yairchu opened this issue over 2 years ago

Backspace after "," in record deletes entire record

Peaker opened this issue over 2 years ago

Deleting first alt/field in an open case goes to red cursor

Peaker opened this issue over 2 years ago

Show type-mismatch hole results as lightweight fragments (without presenting types)

Peaker opened this issue over 2 years ago

WYTIWYS support for case brackets

Peaker opened this issue over 2 years ago

Don't abbreviate when abbreviation is prefix of another name

yairchu opened this issue over 2 years ago

GA(deps): Bump actions/cache from 3.0.7 to 3.0.8

dependabot[bot] opened this pull request over 2 years ago

GA(deps): Bump actions/cache from 3.0.6 to 3.0.7

dependabot[bot] opened this pull request over 2 years ago

exit due to exception

AndreaBressan opened this issue over 2 years ago

GA(deps): Bump actions/cache from 3.0.5 to 3.0.6

dependabot[bot] opened this pull request over 2 years ago

Should be able to mark if-expression's tails.

yairchu opened this issue over 2 years ago

GA(deps): Bump actions/cache from 3.0.4 to 3.0.5

dependabot[bot] opened this pull request over 2 years ago

GA(deps): Bump actions/cache from 3.0.3 to 3.0.4

dependabot[bot] opened this pull request over 2 years ago

GA(deps): Bump actions/cache from 3.0.2 to 3.0.3

dependabot[bot] opened this pull request over 2 years ago

Support macOS <12

yairchu opened this issue over 2 years ago

Split names database to separate repo, for possible re-use

yairchu opened this issue over 2 years ago

PR for debugging the GitHub actions

yairchu opened this pull request over 2 years ago

GA(deps): Bump haskell/actions from 1.2 to 2.0

dependabot[bot] opened this pull request over 2 years ago

GA(deps): Bump actions/cache from 3.0.1 to 3.0.2

dependabot[bot] opened this pull request almost 3 years ago

GA(deps): Bump actions/cache from 2 to 3.0.1

dependabot[bot] opened this pull request almost 3 years ago

GA(deps): Bump actions/cache from 2 to 3

dependabot[bot] opened this pull request almost 3 years ago

GA(deps): Bump actions/checkout from 2 to 3

dependabot[bot] opened this pull request almost 3 years ago

Vertical layout for operators can be nicer

yairchu opened this issue almost 3 years ago

Crash when skolems are involved

yairchu opened this issue almost 3 years ago

Hover of unshrunk annotations does not use hover options and exits the screen

Peaker opened this issue almost 3 years ago

Perhaps "type variable escape" should be presented differently?

Peaker opened this issue almost 3 years ago

The "error" in execution icon should be in the stroll (reachable by tab) for convenience

Peaker opened this issue almost 3 years ago

There's no way to RecExtend a (non-literal record) expression

Peaker opened this issue almost 3 years ago

Fragment results do not include "if"

Peaker opened this issue almost 3 years ago

Consider allowing cutting the (function+last-args) of a LabeledApply

Peaker opened this issue almost 3 years ago

"Move (unused) definition here" results in holes

Peaker opened this issue almost 3 years ago

Remember the latest "Cut" operation

Peaker opened this issue almost 3 years ago

Split "Ctrl+X" (extract) into extract and *cut*

Peaker opened this issue almost 3 years ago

Nitpicks

Peaker opened this issue almost 3 years ago

wytiwys fragment creation via pressing "?"

Peaker opened this issue almost 3 years ago

Redundant value annotation for injections

Peaker opened this issue almost 3 years ago

Cannot navigate between applications of a case function

Peaker opened this issue almost 3 years ago

[macOS] Releases crash in macOS 12.2 on M1

yairchu opened this issue almost 3 years ago

Regression in deletion of let-items

yairchu opened this issue almost 3 years ago

When "1 + 1" is fragmented with `*`, incorrect precedence implied by display

Peaker opened this issue almost 3 years ago

Tags can be given upper-case names, causing ambiguity

Peaker opened this issue almost 3 years ago

Multiple repls, generalize definitions

yairchu opened this issue almost 3 years ago

Recursive de-structuring

yairchu opened this issue almost 3 years ago

Discrepancy with light-lambdas turned into let items

yairchu opened this issue almost 3 years ago

Applying an inject that generates the correct type, gets an incorrect wrapper fragment

Peaker opened this issue almost 3 years ago

Can't choose "if" in fragment results to wrap an expression in an "if"

Peaker opened this issue almost 3 years ago

Applying a fragmented func with a number literal is awkward

Peaker opened this issue almost 3 years ago

Black barrier around expanded type tooltips

Peaker opened this issue almost 3 years ago

Need to indent multi-line operator's RHS when there are extra args.

yairchu opened this issue almost 3 years ago

De-structure records in let-items

yairchu opened this issue almost 3 years ago

Nominals should have separate disambiguation tags namespace

yairchu opened this issue about 3 years ago