Skip to content
Snippets Groups Projects

WIP: rename: Don't allow binding of built-in names as datacons

Closed Ben Gamari requested to merge wip/T16999 into master
Loading