Skip to content
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

Jump to bottom

Write a Prelude for 1.0 #344

Open
dhess opened this issue Mar 27, 2022 · 2 comments
Open

Write a Prelude for 1.0 #344

dhess opened this issue Mar 27, 2022 · 2 comments
Assignees
@dhess
Labels
blocked Blocked by another issue core Core issue enhancement New feature or request primer Specific to the primer package
Milestone
Primer (language)...

Comments

@dhess
Copy link
Member

dhess commented Mar 27, 2022 •
edited

PRIM-32

We need to decide what types & functions will ship with our 1.0 Prelude. This is waiting for our module implementation, but that's not too far off now.
@dhess dhess self-assigned this Mar 27, 2022
@dhess dhess added core Core issue enhancement New feature or request blocked Blocked by another issue primer Specific to the primer package labels Mar 27, 2022
@dhess dhess mentioned this issue Mar 27, 2022
Closed
@georgefst
Copy link
Contributor

Related: #279.

@brprice
Copy link
Contributor

brprice commented Apr 14, 2022

Also related: do we want to take advantage of hierarchical module names for a prelude/standard library? We have a pr enabling them, but we are not yet sure if we would prefer to expose a flat interface to students. See #385 (comment)

@brprice brprice mentioned this issue Nov 7, 2022
Open
@dhess dhess added this to the Primer 1.0 milestone May 9, 2023
@georgefst georgefst mentioned this issue Nov 14, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dhess dhess

Labels
blocked Blocked by another issue core Core issue enhancement New feature or request primer Specific to the primer package
Projects
None yet
Milestone
Primer (language) 1.0
Development

No branches or pull requests
3 participants
@dhess @brprice @georgefst