lexi-lambda hackett issues

lexi-lambda / hackett

WIP implementation of a Haskell-like Lisp in Racket

https://lexi-lambda.github.io/hackett/

ISC License

1.17k stars 50 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Accessibility: mention required Racket version and supply shell.nix

#103 Mr-Andersen opened 5 months ago
0
Fix README.md docs link

#102 jgrosso closed 4 years ago
1
README doc link 404's

#101 jgrosso closed 4 years ago
2
Thank you for the docs!

#100 pkoch closed 4 years ago
0
Fix typo in definition of operator or

#99 Sheyne closed 5 years ago
1
Current Status

#98 arunvickram opened 5 years ago
2
Please add the `racket` topic to this repo

#97 spdegabrielle opened 5 years ago
0
Indendation sensitivity

#96 ShalokShalom closed 5 years ago
1
Update .travis.yml

#95 phlummox closed 5 years ago
0
Fixed old copy/paste foldl typo in docs.

#94 oubiwann opened 5 years ago
0
Added logo

#93 oubiwann opened 5 years ago
4
Auto-derived Show instance not terminating

#92 fiddlerwoaroof opened 5 years ago
2
Internal error when typechecking malformed `forall` clause

#91 patrickt opened 5 years ago
3
scribble/manual

#90 bennn opened 6 years ago
1
Infinite loop while resolving instances

#89 AlexKnauth opened 6 years ago
3
Add missing link to "pattern" in the document

#88 shhyou opened 6 years ago
0
Allow a macro to "reset" the elaborator and do all the elaboration passes within itself

#87 AlexKnauth opened 6 years ago
4
Add core-def form for annotated definitions

#86 AlexKnauth opened 6 years ago
0
Matching on the result of a constrained type variable

#85 AlexKnauth closed 6 years ago
0
#%elaborate-top combined with begin

#84 AlexKnauth closed 6 years ago
2
Add `⋮` declarations for val definitions

#83 AlexKnauth closed 6 years ago
1
Change order of args in type<:! in pat⇐

#82 iitalics closed 6 years ago
1
Add a missing syntax-track-origin

#81 AlexKnauth closed 6 years ago
1
[WIP] Multi-pass elaboration & functional dependencies

#80 lexi-lambda closed 6 years ago
0
refactor name mangling

#79 AlexKnauth opened 6 years ago
2
Port Haskell's Set data structure and some supporting modules

#78 howell opened 6 years ago
0
Allow pattern expansion in "head" positions of case-patterns

#77 AlexKnauth closed 6 years ago
5
Add case-pattern expanders

#76 AlexKnauth closed 6 years ago
1
Case pattern expanders?

#75 AlexKnauth closed 6 years ago
3
Add `:` declarations for val definitions

#74 AlexKnauth closed 6 years ago
3
Expression type annotation vs. Declaration type annotation

#73 AlexKnauth opened 6 years ago
6
Implement type aliases

#72 AlexKnauth closed 6 years ago
16
Refactor typecheck.rkt

#71 iitalics closed 6 years ago
1
Rigid vars allowed to escape their scope

#70 iitalics opened 6 years ago
3
Pretty-print infix types (such as "->") with infix notation

#69 iitalics closed 6 years ago
5
Typecheck clause bodies with τ⇐/λ! (fixes #63)

#68 iitalics closed 6 years ago
1
ignore scribble-generated files and drracket autosave files

#67 AlexKnauth closed 6 years ago
0
adt: add integer patterns

#66 bennn closed 6 years ago
6
Typecheck case* bodies using ⇐ rule (fix #63)

#65 iitalics closed 6 years ago
1
Functor Instance Misbehaving

#64 howell closed 6 years ago
3
issue with polymorphic values?

#63 howell closed 6 years ago
0
Slow typechecking due to linear search in type context

#62 michaelballantyne opened 6 years ago
3
Proposal: a macro DSL based on bidirectional type checking

#61 gelisam opened 6 years ago
2
Instance chaining seems to fail

#60 jackfirth closed 6 years ago
1
Round out data/list

#59 Shamrock-Frost opened 6 years ago
4
Round out data/list

#58 Shamrock-Frost closed 6 years ago
2
Full-program doc examples?

#57 jackfirth opened 6 years ago
0
Add TODO form representing incomplete programs

#56 david-christiansen closed 6 years ago
11
Fix some documentation typos

#55 iitalics closed 6 years ago
1
Built-in n-tuple type

#54 lexi-lambda opened 6 years ago
0