Skip to content

Adapt singletons patches to Nat/Natural being merged on HEAD

Ryan Scott requested to merge RyanGlScott/head.hackage:nat-singletons into master

Merge request reports