๐ o that these
too-solid ๐ฅ๏ธ screens ๐ฑ
would melt ๐ง, thaw ๐, & resolve โ๏ธ
themselves โ into ๐ง๏ธ a dew โ๏ธ
disconcision / agdalab Goto Github PK
View Code? Open in Web Editor NEWagda-based experimentation following wadler and 'learn you an agda'