Encoding datatypes in term of other datatypes and generalising their properties(youtube.com)1 points by lang_agnostic 7 years ago | 0 commentsNo comments yet