Extending a preorder efficiently and correctlydrmaciver.com1 point·StylifyYourBlog··0 commentsOpen articleSaveView on HN