Jan 18
gf wants to make a c compiler with linear typing (as an extension) & wants my help to formally verify the soundness of the linear type system, so now I'm learning iris separation logic :3
seen from Belarus
seen from Brunei
seen from United States
seen from China
seen from United Kingdom
seen from Russia
seen from China
seen from China
seen from Ireland
seen from Germany
seen from Singapore
seen from Singapore
seen from France
seen from Malaysia
seen from Mexico
seen from United States
seen from United States
seen from United Kingdom
seen from China
seen from Russia
gf wants to make a c compiler with linear typing (as an extension) & wants my help to formally verify the soundness of the linear type system, so now I'm learning iris separation logic :3