page = blog :: brent -> [string] url = https://byorgey.wordpress.com analysed @ 2021-06-29 20:21 UTC Posted in projects , teaching | Tagged math , pedagogy , programming , sets , types , language , foundations | 6 Comments
Posted in projects , teaching | Tagged math , pedagogy , programming , sets , types , language , foundations | 6 Comments