Skip to content

Issues: andrew-johnson-4/lambda-mountain

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

136 Open 463 Closed
136 Open 463 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

AST/Type Specialization
#1210 opened Feb 1, 2025 by andrew-johnson-4
Total Compilation & Error Soundness
#1203 opened Jan 30, 2025 by andrew-johnson-4
@andrew-johnson-4
Pack Closure / Unpack Closure primitives
#1198 opened Jan 29, 2025 by andrew-johnson-4
@andrew-johnson-4
2
del hooks and type queries to implement Rc as a library high priority
#1196 opened Jan 28, 2025 by andrew-johnson-4
@andrew-johnson-4
Move regex implementation to tpre
#1195 opened Jan 28, 2025 by andrew-johnson-4
@andrew-johnson-4
1
specialization of type declaration based on type arguments + extra
#1194 opened Jan 28, 2025 by alex-s168
@andrew-johnson-4
1
mutability proposal
#1192 opened Jan 28, 2025 by alex-s168
@andrew-johnson-4
2
Pave the way for backend plugins
#1190 opened Jan 28, 2025 by andrew-johnson-4
@andrew-johnson-4
Remove counter-intuitive interaction in unify
#1188 opened Jan 28, 2025 by andrew-johnson-4
@andrew-johnson-4
Replace "as" coercions with "into" coercions
#1185 opened Jan 27, 2025 by andrew-johnson-4
@andrew-johnson-4
Replace to-smart-string in print format strings
#1184 opened Jan 27, 2025 by andrew-johnson-4
@andrew-johnson-4
help.
#1183 opened Jan 27, 2025 by alex-s168
@andrew-johnson-4
4
use more efficient regex engine wherever possible
#1182 opened Jan 27, 2025 by alex-s168
@andrew-johnson-4
17
prettier type printing
#1181 opened Jan 27, 2025 by alex-s168
@andrew-johnson-4
1
default constructors
#1180 opened Jan 27, 2025 by alex-s168
@andrew-johnson-4
1
anoymus / lambda functions in lsts?
#1179 opened Jan 27, 2025 by alex-s168
@andrew-johnson-4
1
Some "Out of normal" types can still exist in global type context
#1177 opened Jan 27, 2025 by andrew-johnson-4
@andrew-johnson-4
1
Apply aliases to type definitions
#1175 opened Jan 27, 2025 by andrew-johnson-4
@andrew-johnson-4
:MacroHelper: pseudo element high priority P1
#1171 opened Jan 26, 2025 by andrew-johnson-4
@andrew-johnson-4
Clarify the workflow of Proof Carrying Code research
#1168 opened Jan 26, 2025 by andrew-johnson-4
@andrew-johnson-4
Threaded Compilation
#1167 opened Jan 26, 2025 by andrew-johnson-4
@andrew-johnson-4
Typecheck if return better
#1165 opened Jan 26, 2025 by andrew-johnson-4
@andrew-johnson-4
Safety as a library with global assertions
#1160 opened Jan 25, 2025 by andrew-johnson-4
@andrew-johnson-4
Row Typing
#1159 opened Jan 25, 2025 by andrew-johnson-4
@andrew-johnson-4
1
"Namespace" compilation units
#1155 opened Jan 25, 2025 by andrew-johnson-4
@andrew-johnson-4
ProTip! Mix and match filters to narrow down what you’re looking for.