Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hazelgrove/hazel issues and pull requests

#1520 - Type consistency broken for forall types

Issue - State: open - Opened by 7h3kk1d 5 days ago - 1 comment
Labels: bug, critical

#1519 - Change default buffer back to basic reference

Pull Request - State: open - Opened by 7h3kk1d 5 days ago

#1518 - Make ID annotation on grammar a type parameter

Pull Request - State: open - Opened by 7h3kk1d 5 days ago

#1517 - Init.ml formatting

Pull Request - State: closed - Opened by Negabinary 6 days ago - 1 comment

#1516 - Parenthesized recursive sum types cause stack overflow

Issue - State: open - Opened by cyrus- 7 days ago
Labels: bug, critical

#1515 - error rounds

Issue - State: open - Opened by cyrus- 7 days ago

#1514 - ??-triggered completions

Issue - State: open - Opened by cyrus- 7 days ago

#1513 - [meta] Agentic Assistant

Issue - State: open - Opened by cyrus- 7 days ago

#1512 - Indicated term arms are misaligned but only on Edge

Issue - State: open - Opened by disconcision 8 days ago - 1 comment
Labels: bug

#1511 - Replace form strings with sum type

Pull Request - State: closed - Opened by Negabinary 8 days ago

#1510 - Casing on unannotated list in function triggers InvalidBoxedListLit exception

Issue - State: open - Opened by disconcision 8 days ago - 1 comment
Labels: bug, critical

#1508 - Typfun application broken

Issue - State: open - Opened by 7h3kk1d 9 days ago - 1 comment
Labels: bug, critical

#1507 - Entering an incorrectly-typed case pattern causes statics to hang

Issue - State: closed - Opened by disconcision 9 days ago - 1 comment
Labels: bug, critical

#1506 - Fix typo in initial Hazel example code

Pull Request - State: open - Opened by nskh 9 days ago - 1 comment

#1505 - Flat projectors

Pull Request - State: open - Opened by disconcision 12 days ago

#1504 - Invalid Boxed displayed when constructor present in let binding

Issue - State: open - Opened by isdiemer 12 days ago - 2 comments
Labels: bug, critical

#1503 - Unnecessary completion computation on movement

Issue - State: open - Opened by disconcision 12 days ago
Labels: bug, performance

#1502 - Fix #1501

Pull Request - State: closed - Opened by Negabinary 12 days ago - 3 comments

#1501 - Unnecessary statics calculation on caret movement

Issue - State: closed - Opened by disconcision 12 days ago - 1 comment
Labels: bug, performance

#1500 - Clean up Sort css classes

Issue - State: open - Opened by disconcision 13 days ago
Labels: cleanup

#1499 - Make type join symmetric

Pull Request - State: closed - Opened by Negabinary 13 days ago - 3 comments

#1498 - entering a colon between 1 and (2+2) throw exception

Issue - State: open - Opened by disconcision 13 days ago
Labels: bug

#1497 - multi-holes do not evaluate

Issue - State: open - Opened by cyrus- 14 days ago - 1 comment
Labels: bug

#1496 - Result panel below editors resizes wildly and rapidly when you make changes

Issue - State: open - Opened by disconcision 14 days ago - 1 comment
Labels: bug

#1494 - bug fix for filter for Cast & TypFun

Pull Request - State: closed - Opened by tonyfettes 18 days ago

#1493 - TyDi suggests functions of the wrong types

Issue - State: closed - Opened by disconcision 19 days ago - 1 comment
Labels: bug

#1492 - ChatLSP for helpful-assistant

Pull Request - State: closed - Opened by disconcision 19 days ago

#1491 - faster exhaustiveness and redundancy checking

Pull Request - State: open - Opened by cyrus- 19 days ago - 3 comments

#1490 - can't use arrow keys to move in stepper steps

Issue - State: open - Opened by cyrus- 20 days ago
Labels: bug

#1488 - filters show up in stepper

Issue - State: open - Opened by cyrus- 20 days ago - 1 comment
Labels: bug, critical

#1487 - Build step for building Init.ml editors

Issue - State: open - Opened by disconcision 21 days ago - 1 comment
Labels: enhancement

#1485 - fix mysterious code deleletion bug #1449

Pull Request - State: closed - Opened by disconcision 21 days ago

#1484 - Documentation crashes if you try to go before the first page

Issue - State: open - Opened by Negabinary 22 days ago - 1 comment
Labels: bug, starter-project

#1483 - remove `:` from infix operator regex

Issue - State: open - Opened by cyrus- 22 days ago - 3 comments

#1483 - remove `:` from infix operator regex

Issue - State: open - Opened by cyrus- 22 days ago - 3 comments

#1481 - improve cursor inspector behavior for parenthesized expressions

Issue - State: open - Opened by cyrus- 22 days ago
Labels: starter-project

#1481 - improve cursor inspector behavior for parenthesized expressions

Issue - State: open - Opened by cyrus- 22 days ago
Labels: starter-project

#1480 - Delete the Nul sort

Pull Request - State: closed - Opened by Negabinary 26 days ago

#1479 - Get rid of embedded SVG filters

Issue - State: closed - Opened by disconcision 26 days ago
Labels: cleanup

#1477 - ExpToSegment throws exception if underscore entered as first arg of ap

Issue - State: closed - Opened by disconcision 27 days ago - 1 comment
Labels: bug

#1476 - Fix #1443

Pull Request - State: closed - Opened by Negabinary 27 days ago - 2 comments

#1475 - Fix #1424

Pull Request - State: closed - Opened by Negabinary 27 days ago

#1474 - Fix Deferral in first position throws exception #1446

Pull Request - State: closed - Opened by Negabinary 27 days ago

#1473 - Statics is exponential in the number of case branches on pairs

Issue - State: open - Opened by disconcision 29 days ago - 1 comment
Labels: bug, performance, critical

#1472 - precedence of let and comma is awkward

Issue - State: open - Opened by cyrus- 29 days ago - 5 comments
Labels: bug

#1471 - make grout deco render inline with text instead of on separate layer

Issue - State: open - Opened by disconcision 29 days ago
Labels: cleanup

#1470 - Adding parentheses starting with closing doesn't remold

Issue - State: open - Opened by disconcision about 1 month ago
Labels: bug

#1470 - Adding parentheses starting with closing doesn't remold

Issue - State: open - Opened by disconcision about 1 month ago
Labels: bug

#1469 - Parenthesizing type annotation prevents recursive binding

Issue - State: open - Opened by disconcision about 1 month ago
Labels: bug, critical

#1469 - Parenthesizing type annotation prevents recursive binding

Issue - State: open - Opened by disconcision about 1 month ago - 1 comment
Labels: bug, critical

#1468 - Final tutorial sys

Pull Request - State: open - Opened by reevafaisal about 1 month ago - 1 comment

#1468 - Final tutorial sys

Pull Request - State: open - Opened by reevafaisal about 1 month ago

#1467 - Unknowns in types in CI don't get rendered correctly; also ExpToSeg Unknown type behavior is questionable

Issue - State: open - Opened by disconcision about 1 month ago - 6 comments
Labels: bug, critical

#1466 - Statics does not run on initial page load

Issue - State: open - Opened by cyrus- about 1 month ago - 3 comments
Labels: bug

#1465 - Livelits

Pull Request - State: open - Opened by gcrois about 1 month ago

#1464 - Agentic Assistant

Pull Request - State: open - Opened by russell-rozenbaum about 1 month ago

#1462 - Exp to segment fixes

Pull Request - State: closed - Opened by 7h3kk1d about 1 month ago

#1461 - Fix #1445

Pull Request - State: closed - Opened by Negabinary about 1 month ago

#1460 - Fix the command palette triggering on Ctrl+K

Pull Request - State: closed - Opened by 7h3kk1d about 1 month ago

#1459 - Invalid type application breaks statics throwing exception

Issue - State: open - Opened by 7h3kk1d about 1 month ago
Labels: bug, critical

#1458 - Duplicate sum constructors not showing error

Issue - State: open - Opened by 7h3kk1d about 1 month ago
Labels: bug, starter-project

#1457 - Parameterized Types

Pull Request - State: open - Opened by isdiemer about 1 month ago

#1456 - cleanup: delete uterm, remove statics<-transition dependency

Pull Request - State: closed - Opened by Negabinary about 1 month ago

#1455 - List sum performance

Pull Request - State: closed - Opened by Negabinary about 1 month ago

#1454 - Command palette not triggering on ctrl+k

Issue - State: closed - Opened by 7h3kk1d about 1 month ago - 1 comment
Labels: bug

#1453 - Fix Generalized Closures

Pull Request - State: closed - Opened by Negabinary about 1 month ago - 1 comment

#1452 - ExpToSegment does not serialize Filter and Test

Issue - State: closed - Opened by 7h3kk1d about 1 month ago
Labels: bug

#1451 - ExpToSegment serializing deferral as "deferral" instead of _

Issue - State: closed - Opened by 7h3kk1d about 1 month ago - 1 comment
Labels: bug

#1450 - Fix case statements in exptosegment

Pull Request - State: closed - Opened by 7h3kk1d about 1 month ago - 1 comment

#1449 - mysterious code segment deletion bug

Issue - State: closed - Opened by disconcision about 1 month ago - 2 comments
Labels: bug

#1447 - Hazatro

Pull Request - State: open - Opened by disconcision about 2 months ago

#1446 - Deferral in first position throws exception

Issue - State: closed - Opened by 7h3kk1d about 2 months ago - 1 comment
Labels: bug, critical

#1445 - ExpToSegment not preserving right associativity with parens

Issue - State: closed - Opened by 7h3kk1d 2 months ago - 2 comments
Labels: bug

#1444 - Exercise Mode Editing Capabilities

Pull Request - State: open - Opened by russell-rozenbaum 2 months ago - 1 comment

#1443 - Constructors broken in Sum Types

Issue - State: closed - Opened by 7h3kk1d 2 months ago
Labels: bug, critical

#1442 - Cast expressions don't allow anonymous sum types

Issue - State: closed - Opened by 7h3kk1d 2 months ago - 2 comments
Labels: bug

#1441 - Add basic URL Encoding for scratchpad text state

Pull Request - State: open - Opened by gcrois 2 months ago

#1440 - InfoExp not available on active Livelit Reload

Issue - State: closed - Opened by gcrois 2 months ago - 2 comments
Labels: bug

#1439 - Switch to our nth_opt

Pull Request - State: closed - Opened by Negabinary 2 months ago

#1437 - Start working on a reparse that preserves whitespace

Pull Request - State: closed - Opened by 7h3kk1d 2 months ago

#1435 - Closure dynamics

Pull Request - State: closed - Opened by Negabinary 3 months ago - 1 comment

#1434 - Trampoline Evaluator

Pull Request - State: closed - Opened by Negabinary 3 months ago - 1 comment

#1433 - remove req_value

Pull Request - State: closed - Opened by Negabinary 3 months ago - 1 comment

#1432 - Elaboration of functions doesn't preserve types

Issue - State: closed - Opened by Negabinary 3 months ago
Labels: bug, critical

#1431 - Closures around indet expressions disappear

Issue - State: closed - Opened by Negabinary 3 months ago
Labels: bug, critical

#1430 - List sum shouldn't take quadratic time

Issue - State: closed - Opened by Negabinary 3 months ago - 3 comments
Labels: performance

#1430 - List sum shouldn't take quadratic time

Issue - State: open - Opened by Negabinary 3 months ago - 3 comments
Labels: performance

#1429 - Add string_split

Pull Request - State: closed - Opened by 7h3kk1d 3 months ago

#1429 - Aoc stdlib improvements

Pull Request - State: open - Opened by 7h3kk1d 3 months ago