553 followers Jacques Garrigue @garriguejej @t6s finite typeの集合がビット列になるのが面白い。 https://t.co/znoV6UuaJf 14 Mar 2019 Reply Repost Favourite