Add biased versions of Function structures#2210

jamesmckinna merged 1 commit intomasteragda/agda-stdlib:masterfrom

function-biased-structuresagda/agda-stdlib:function-biased-structuresCopy head branch name to clipboard