Skip to content

Add typelevel-nix - #328

Merged
rossabaker merged 1 commit into
developmentfrom
add-typelevel-nix
Jan 23, 2022
Merged

rossabaker merged 1 commit into
developmentfrom
add-typelevel-nix

Conversation

@rossabaker

Copy link
Copy Markdown
Member

Adds to the defunct incubator, for lack of an accurate depiction of the new governance model. That work will be taken on separately.

@rossabaker
rossabaker merged commit 2b97380 into development Jan 23, 2022
@rossabaker
rossabaker deleted the add-typelevel-nix branch January 31, 2022 15:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant