Lamdu issues | Ecosyste.ms: OpenCollective

Cannot navigate between applications of a case function

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

[macOS] Releases crash in macOS 12.2 on M1

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

Regression in deletion of let-items

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

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

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

Tags can be given upper-case names, causing ambiguity

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

Multiple repls, generalize definitions

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

Recursive de-structuring

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

Discrepancy with light-lambdas turned into let items

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

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

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

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

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

Applying a fragmented func with a number literal is awkward

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

Black barrier around expanded type tooltips

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

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

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

De-structure records in let-items

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

Nominals should have separate disambiguation tags namespace

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

Possibly incorrect translations for floor and ceil?

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

Spanish abbreviations

github.com/lamdu/lamdu - DrDub opened this pull request about 3 years ago

Question about higher order function

github.com/lamdu/lamdu - DrDub opened this issue about 3 years ago

Spanish translation

github.com/lamdu/lamdu - DrDub opened this pull request about 3 years ago

Cleanup: more exact types replace mAddLet action in NodeActions

github.com/lamdu/lamdu - yairchu opened this pull request about 3 years ago

Create new tags from hole/fragment options

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

Missing operator disambiguation

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

Scrollable rather than truncated large evaluation results

github.com/lamdu/lamdu - boogerlad opened this issue about 3 years ago

Status bar should collapse for narrow layouts

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

Build on macOS 12 (Monterey) not working

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

Use curl instead of wget (#2)

github.com/lamdu/bindings-freetype-gl - yairchu opened this pull request about 3 years ago

Release 0.8 macOS app says it's version 0.6

github.com/lamdu/lamdu - danra opened this issue over 3 years ago

Regression: tab navigation doesn't jump between holes

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

Release tags

github.com/lamdu/hypertypes - MonadicT opened this issue over 3 years ago

README proofreading, and a question

github.com/lamdu/hypertypes - glaebhoerl opened this issue over 3 years ago

Type "if " in fragment keeps "if" search string for inner hole

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

Pressing down arrow key in multi-line hole result selects it

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

UX issues in play-testing by @noamraph

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

the package is not on hackage

github.com/lamdu/hypertypes - yaitskov opened this issue over 3 years ago

Lamdu 0.8 video - I18N

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

Can't reorder params

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

Adding to alternatives to case missing clearing search term

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

Switch CI to GitHub actions

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

TH derivations stuck

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

TH: Proper contexts for instances of co-recursive types

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

Create haskell.yml

github.com/lamdu/lamdu - Peaker opened this pull request almost 4 years ago

Depenencies: consider using curl instead of wget

github.com/lamdu/bindings-freetype-gl - yairchu opened this issue about 4 years ago

Typo

github.com/lamdu/hypertypes - masaeedu opened this pull request almost 5 years ago

Question: generalize Hyper.Class.Context.recursiveContexts?

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

A type class for node optics

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

makeHasHPlain work for more cases

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

fix minor kind errors in readme

github.com/lamdu/hypertypes - glaebhoerl opened this pull request over 5 years ago

spelling

github.com/lamdu/lamdu.github.io - LightAndLight opened this pull request over 5 years ago

Make use of GADTs rather than TypeFamilies for nicer inference and type errors

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

Remove git command from Setup.hs

github.com/lamdu/bindings-freetype-gl - mankyKitty opened this pull request over 5 years ago

Fix typos and misc html issues

github.com/lamdu/lamdu.github.io - tillydray opened this pull request over 5 years ago

Travis fixes

github.com/lamdu/lamdu - Peaker opened this pull request about 6 years ago

Update README.md with mostly some English fixes

github.com/lamdu/presentation-live-2018 - danra opened this pull request over 6 years ago

Fix build on NixOS

github.com/lamdu/nodejs-exec - razvan-flavius-panda opened this pull request almost 7 years ago

Building on NixOS using stack fails

github.com/lamdu/nodejs-exec - razvan-flavius-panda opened this issue almost 7 years ago

Fix punctuation/grammar

github.com/lamdu/lamdu.github.io - buggymcbugfix opened this pull request over 7 years ago

Fix spelling/wording

github.com/lamdu/lamdu.github.io - buggymcbugfix opened this pull request over 7 years ago

Fix projucer link

github.com/lamdu/lamdu.github.io - ysangkok opened this pull request over 7 years ago

add Future Programming Workshop video to homepage

github.com/lamdu/lamdu.github.io - stevekrouse opened this pull request over 7 years ago

fix bullet formatting

github.com/lamdu/lamdu.github.io - stevekrouse opened this pull request over 7 years ago

Update README.md

github.com/lamdu/lambdu - vanschelven opened this pull request over 7 years ago

Add Conception to Similar Efforts

github.com/lamdu/lamdu.github.io - muv opened this pull request over 8 years ago

lamdu organization has wrong website URL

github.com/lamdu/lamdu.github.io - sknebel opened this issue almost 9 years ago

Fix typo in index.html

github.com/lamdu/lamdu.github.io - coder543 opened this pull request over 9 years ago

Add a Gitter chat badge to README.md

github.com/lamdu/lambdu - gitter-badger opened this pull request over 9 years ago