Functions, ghost functions and higher order functionssoftwareverificaton.wordpress.com1 point·QuarkSpark··0 commentsOpen articleSaveView on HN