lamdu/lamdu

Issues

• [Bug] README typo

  #232 opened 3 months ago by maren-cole
  2

• Broken links/Missing content in Components.md

  #230 opened 4 months ago by alexsimon7
  2

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

  #231 opened 4 months ago by janreppien
  2

• Windows Installation

  #223 opened a year ago by croysdaa
  0

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

  #189 opened a year ago by Peaker
  1

• Perhaps "type variable escape" should be presented differently?

  #166 opened a year ago by Peaker
  1

• wytiwys fragment creation via pressing "?"

  #157 opened a year ago by Peaker
  0

• UI does not contain shell

  #220 opened a year ago by J3RN
  3

• Consider enter key for add let item

  #218 opened 2 years ago by yairchu
  0

• Layout improvement for multi-line operators

  #197 opened 2 years ago by yairchu
  1

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

  #199 opened 2 years ago by yairchu
  0

• Assertion when adding function parameter

  #200 opened a year ago by yairchu
  2

• New presentation mode editing UX

  #202 opened a year ago by yairchu
  1

• CI Linux environment broken

  #196 opened a year ago by yairchu
  1

• Support macOS <12

  #177 opened a year ago by yairchu
  1

• Bug in fragment search-term

  #219 opened 2 years ago by yairchu
  1

• Smooth resize in macOS

  #216 opened 2 years ago by yairchu
  2

• Light lambda sugar check broken for nested parameters

  #203 opened 2 years ago by yairchu
  0

• Assertion in hole completions when LocalMut is involved?

  #201 opened 2 years ago by yairchu
  1

• Allow underscore in alphanumeric search-string in holes

  #198 opened 2 years ago by yairchu
  0

• Wrong value annotation for array

  #195 opened 2 years ago by yairchu
  0

• Stack size exceeded error in simple snippet

  #192 opened 2 years ago by yairchu
  2

• Abbreviation avoidance too strict?

  #191 opened 2 years ago by yairchu
  0

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

  #181 opened 2 years ago by yairchu
  0

• Backspace after "," in record deletes entire record

  #190 opened 2 years ago by Peaker
  0

• Don't abbreviate when abbreviation is prefix of another name

  #186 opened 2 years ago by yairchu
  1

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

  #188 opened 2 years ago by Peaker
  0

• WYTIWYS support for case brackets

  #187 opened 2 years ago by Peaker
  0

• exit due to exception

  #183 opened 2 years ago by AndreaBressan
  3

• [macOS] Releases crash in macOS 12.2 on M1

  #154 opened 2 years ago by yairchu
  2

• Multiple repls, generalize definitions

  #150 opened 3 years ago by yairchu
  1

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

  #165 opened 3 years ago by Peaker
  0

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

  #176 opened 3 years ago by yairchu
  0

• Vertical layout for operators can be nicer

  #169 opened 3 years ago by yairchu
  1

• Crash when skolems are involved

  #168 opened 3 years ago by yairchu
  3

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

  #167 opened 3 years ago by Peaker
  0

• Nitpicks

  #158 opened 3 years ago by Peaker
  6

• Fragment results do not include "if"

  #163 opened 3 years ago by Peaker
  2

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

  #164 opened 3 years ago by Peaker
  0

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

  #162 opened 3 years ago by Peaker
  0

• "Move (unused) definition here" results in holes

  #161 opened 3 years ago by Peaker
  0

• Remember the latest "Cut" operation

  #160 opened 3 years ago by Peaker
  0

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

  #159 opened 3 years ago by Peaker
  0

• Cannot navigate between applications of a case function

  #155 opened 3 years ago by Peaker
  2

• Redundant value annotation for injections

  #156 opened 3 years ago by Peaker
  0

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

  #152 opened 3 years ago by Peaker
  1

• Tags can be given upper-case names, causing ambiguity

  #151 opened 3 years ago by Peaker
  0

• Regression in deletion of let-items

  #153 opened 3 years ago by yairchu
  1

• Recursive de-structuring

  #149 opened 3 years ago by yairchu
  0

• Discrepancy with light-lambdas turned into let items

  #148 opened 3 years ago by yairchu
  1