Skip to content

Pinning versions of dependent types #40

wolfy1339 started this conversation in General
Apr 26, 2023 · 2 comments · 14 replies
Discussion options

You must be logged in to vote

Replies: 2 comments 14 replies

Comment options

You must be logged in to vote
5 replies
@wolfy1339
Comment options

@gr2m
Comment options

gr2m Apr 26, 2023
Maintainer

@oscard0m
Comment options

@G-Rath
Comment options

@wolfy1339
Comment options

Comment options

You must be logged in to vote
9 replies
@wolfy1339
Comment options

@G-Rath
Comment options

@oscard0m
Comment options

@wolfy1339
Comment options

@G-Rath
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
4 participants