{"push_id":1040352561,"size":1,"distinct_size":1,"ref":"refs/heads/personal","head":"4ab52e439f7f890a4e54b8064e2c09228ebc8687","before":"705fca7440adb9580f8b436f99853a24ed69c006","commits":[{"sha":"4ab52e439f7f890a4e54b8064e2c09228ebc8687","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"feat(pointed): merge pointed2 into pointed\n\nWe move the basic notions of pointed types into init.pointed, to avoid cycles in the import graph. Also adds pointed versions of pi and sigma, with corresponding notation","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/lean/commits/4ab52e439f7f890a4e54b8064e2c09228ebc8687"}]}