Issues
- 0
Can't write ascription for sum type without parentheses
#1566 opened by 7h3kk1d - 1
Go to definition and jump to id places cursor to the left of expression giving wrong cursor inspector status
#1564 opened by 7h3kk1d - 6
Replace Grammar equals and TermBase fast_equals functions with a more flexible equality function
#1563 opened by 7h3kk1d - 0
- 0
Horizontal scroll-to-caret also scrolls vertically
#1561 opened by disconcision - 0
- 0
Add a bundler/build step to package js dependencies
#1557 opened by 7h3kk1d - 0
Missing static error on duplicate constructors
#1552 opened by Negabinary - 0
Missing static error on duplicate pattern variables
#1551 opened by Negabinary - 0
set up a linter for the codebase
#1549 opened by cyrus- - 1
missing error when matching on arrow type scrutinee
#1547 opened by cyrus- - 0
- 4
- 0
- 0
- 1
function applications with tupled arguments are double parenthesized by ExpToSegment
#1536 opened by cyrus- - 1
unit type is double parenthesized
#1539 opened by cyrus- - 0
various positions in stepper steps have "whitespace or comment" displayed in the cursor inspector
#1537 opened by cyrus- - 2
filters show up in stepper
#1488 opened by cyrus- - 1
Function names have disappeared
#1529 opened by Negabinary - 1
holes are not displaying in context inspector
#1534 opened by cyrus- - 1
Solve the Halting problem (sometimes)
#1531 opened by Negabinary - 1
Casing on unannotated list in function triggers InvalidBoxedListLit exception
#1510 opened by disconcision - 1
Typfun application broken
#1508 opened by 7h3kk1d - 0
padding on captioned slides has vanished
#1528 opened by disconcision - 1
Type consistency broken for forall types
#1520 opened by 7h3kk1d - 1
missing errors on duplicate constructor labels
#1523 opened by cyrus- - 2
Select `cell-result` Crashes when Reverse Ap CastFail
#1521 opened by GuoDCZ - 0
Display run-time errors for invalid operations
#1522 opened by cyrus- - 0
Parenthesized recursive sum types cause stack overflow
#1516 opened by cyrus- - 0
??-triggered completions
#1514 opened by cyrus- - 0
error rounds
#1515 opened by cyrus- - 0
[meta] Agentic Assistant
#1513 opened by cyrus- - 1
Unnecessary statics calculation on caret movement
#1501 opened by disconcision - 1
Indicated term arms are misaligned but only on Edge
#1512 opened by disconcision - 1
Sum type has non-unique constructors exception triggered when analyzing against invalid constructors
#1509 opened by 7h3kk1d - 1
- 0
Unnecessary completion computation on movement
#1503 opened by disconcision - 0
Revenge of the gradual guarantee: 'Show casts' setting changes stepper semantics
#1495 opened by disconcision - 0
Clean up Sort css classes
#1500 opened by disconcision - 0
entering a colon between 1 and (2+2) throw exception
#1498 opened by disconcision - 1
multi-holes do not evaluate
#1497 opened by cyrus- - 1
Result panel below editors resizes wildly and rapidly when you make changes
#1496 opened by disconcision - 1
- 1
TyDi suggests functions of the wrong types
#1493 opened by disconcision - 0
can't use arrow keys to move in stepper steps
#1490 opened by cyrus- - 0
If a text projector is directly adjacent to a token on the left, moving left from that token skips entering the text area
#1489 opened by disconcision - 1
Build step for building Init.ml editors
#1487 opened by disconcision - 0
retain type aliases in types included in elaborations
#1486 opened by cyrus- - 3
remove `:` from infix operator regex
#1483 opened by cyrus-