Issues
- 2
prevent unnecessary fixpoints in elaboration
#1268 opened by cyrus- - 0
allow combining type variables into a single forall type
#1269 opened by cyrus- - 1
ADTs with hole type consistency have casting bug
#1311 opened by gensofubi - 0
case checker on recursive types
#1310 opened by gensofubi - 4
Constructors that require arguments shouldn't be in patterns without arguments
#1309 opened by Negabinary - 1
Make undo return you to previous stepper state
#1306 opened by cyrus- - 1
Relative precedence of ; and &&
#1303 opened by disconcision - 0
- 0
Add ability to decide on stepping strategy during stepping
#1304 opened by cyrus- - 2
Fixpoints in SynFun position create static errors
#1299 opened by Negabinary - 2
1 @ 2 doesn't throw an error
#1298 opened by Negabinary - 0
Structural copy/paste
#1300 opened by disconcision - 1
- 0
Drag-and-drop blocks editing UI for Hazel
#1294 opened by cyrus- - 0
Structured search
#1293 opened by cyrus- - 0
Variable renaming UI
#1292 opened by cyrus- - 0
Line numbering
#1291 opened by cyrus- - 0
Convert some Project Euler problems into Hazel exercises
#1290 opened by cyrus- - 0
Code tour support
#1289 opened by cyrus- - 0
Integrate live values into editor UI
#1288 opened by cyrus- - 0
- 0
- 0
Lab notebook mode
#1285 opened by cyrus- - 0
Add support for typed tables / dataframes
#1284 opened by cyrus- - 0
Voice coding support
#1283 opened by cyrus- - 0
Query-oriented screen reader support
#1282 opened by cyrus- - 0
- 0
Allow speculative execution beyond pattern holes
#1280 opened by cyrus- - 8
Fix `,-` parsing
#1277 opened by AlienKevin - 2
- 0
recursive polymorphic functions not working
#1279 opened by cyrus- - 1
Errors in Polymorphism and Basic Reference examples
#1278 opened by disconcision - 1
add explicit fixpoints for pedagogical purposes
#1273 opened by cyrus- - 0
add explicit roll/unroll for pedagogical purposes
#1272 opened by cyrus- - 0
implicit type application
#1271 opened by cyrus- - 0
allow foralls and typfuns to be inserted implicitly
#1270 opened by cyrus- - 0
- 0
var names begin with "in" automatically become token.
#1265 opened by gensofubi - 1
Hazel lexer
#1262 opened by disconcision - 3
polymorphic equality and inequality
#1252 opened by disconcision - 1
- 3
`+ X(Int)` should not be a ground type
#1260 opened by Negabinary - 0
Certain strings fail to paste invisibly
#1259 opened by disconcision - 0
Entering "a b c d e f g h i j k l m n o p q r s t u v w x y z" kills hazel
#1256 opened by disconcision - 3
- 0
- 0
Pasting a string into an empty tuple or list does not have desired effect
#1253 opened by disconcision - 1
Casts should be inserted mid-pattern
#1248 opened by Negabinary - 0
- 0
DHExp.fast_equals throws exceptions in certain cases
#1243 opened by disconcision