bram wyllie@bitmapperky·Jul 25, 2021why do i feel guilty about import Agda.Primitive renaming (Set to Type)12
Brendan Zabarauskas@brendanzabReplying to @bitmapperkyIt's the way of the future!2:31 AM · Jul 25, 2021·Twitter Web App
