tfw you Hoogle and it happily tells you "YES! this function exists! in Agda.Utils!"

@wen What's not in there somewhere let's be honest

@amy Yeah, if only we could upstream so my random unrelated projects could drop their dependency on Agda.Utils.

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.