Lamdu issues | Ecosyste.ms: OpenCollective

Self hosting

github.com/lamdu/lamdu - wildwestrom opened this issue 6 days ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request 18 days ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request 2 months ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request 2 months ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request 3 months ago

Do not put inferred kind variables in generated TH splices

github.com/lamdu/hypertypes - expipiplus1 opened this pull request 3 months ago

Deriving HNodes (and friends) fails in the presence of PolyKinds

github.com/lamdu/hypertypes - expipiplus1 opened this issue 3 months ago

Fix for TH 2.21

github.com/lamdu/hypertypes - expipiplus1 opened this pull request 4 months ago

Fix wrong link in README.md

github.com/lamdu/lamdu - janreppien opened this pull request 4 months ago

fix README.md typo

github.com/lamdu/lamdu - maren-cole opened this pull request 5 months ago

[Bug] README typo

github.com/lamdu/lamdu - maren-cole opened this issue 5 months ago

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

github.com/lamdu/lamdu - janreppien opened this issue 5 months ago

Broken links/Missing content in Components.md

github.com/lamdu/lamdu - alexsimon7 opened this issue 5 months ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request 9 months ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request 10 months ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request 10 months ago

Please export `makeCommonInstances`

github.com/lamdu/hypertypes - silky opened this issue 10 months ago

Would love a complete `Person` example :)

github.com/lamdu/hypertypes - silky opened this issue 10 months ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request 11 months ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request 12 months ago

Update Build.md

github.com/lamdu/lamdu - deannaIreland opened this pull request about 1 year ago

Windows Installation

github.com/lamdu/lamdu - croysdaa opened this issue about 1 year ago

Folding over the closure of child types

github.com/lamdu/hypertypes - expipiplus1 opened this issue over 1 year ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 1 year ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 1 year ago

Split up the package

github.com/lamdu/hypertypes - expipiplus1 opened this issue over 1 year ago

Is it possible to get the latest version uploaded to Hackage please

github.com/lamdu/hypertypes - expipiplus1 opened this issue over 1 year ago

UI does not contain shell

github.com/lamdu/lamdu - J3RN opened this issue over 1 year ago

Bug in fragment search-term

github.com/lamdu/lamdu - yairchu opened this issue over 1 year ago

Consider enter key for add let item

github.com/lamdu/lamdu - yairchu opened this issue over 1 year ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 1 year ago

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

github.com/lamdu/bindings-freetype-gl - dependabot[bot] opened this pull request over 1 year ago

Smooth resize in macOS

github.com/lamdu/lamdu - yairchu opened this issue over 1 year ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

add HNodes context for FlatEmbed

github.com/lamdu/hypertypes - MegaBluejay opened this pull request almost 2 years ago

makeHNodes fails to generate constraints in some cases

github.com/lamdu/hypertypes - MegaBluejay opened this issue almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/bindings-freetype-gl - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/bindings-freetype-gl - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/bindings-freetype-gl - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request about 2 years ago

Light lambda sugar check broken for nested parameters

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

New presentation mode editing UX

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

Assertion in hole completions when LocalMut is involved?

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

Assertion when adding function parameter

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

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

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

Allow underscore in alphanumeric search-string in holes

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

Layout improvement for multi-line operators

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

CI Linux environment broken

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

Wrong value annotation for array

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

Replace link to 'Data types a la carte' paper

github.com/lamdu/hypertypes - rm-- opened this pull request about 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request about 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request about 2 years ago

Stack size exceeded error in simple snippet

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

Abbreviation avoidance too strict?

github.com/lamdu/lamdu - yairchu opened this issue about 2 years ago

Backspace after "," in record deletes entire record

github.com/lamdu/lamdu - Peaker opened this issue over 2 years ago

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

github.com/lamdu/lamdu - Peaker opened this issue over 2 years ago

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

github.com/lamdu/lamdu - Peaker opened this issue over 2 years ago

WYTIWYS support for case brackets

github.com/lamdu/lamdu - Peaker opened this issue over 2 years ago

Don't abbreviate when abbreviation is prefix of another name

github.com/lamdu/lamdu - yairchu opened this issue over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 2 years ago

exit due to exception

github.com/lamdu/lamdu - AndreaBressan opened this issue over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 2 years ago

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

github.com/lamdu/lamdu - yairchu opened this issue over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 2 years ago

Support macOS <12

github.com/lamdu/lamdu - yairchu opened this issue over 2 years ago

Type-class support MVP

github.com/lamdu/hypertypes - yairchu opened this issue over 2 years ago

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

github.com/lamdu/lamdu - yairchu opened this issue over 2 years ago

PR for debugging the GitHub actions

github.com/lamdu/lamdu - yairchu opened this pull request over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request over 2 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 3 years ago

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

github.com/lamdu/lamdu - dependabot[bot] opened this pull request almost 3 years ago

Vertical layout for operators can be nicer

github.com/lamdu/lamdu - yairchu opened this issue almost 3 years ago

Crash when skolems are involved

github.com/lamdu/lamdu - yairchu opened this issue almost 3 years ago

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