I’m older than Morgyn but I’m obsessed with the massive little brother energy I give off half the time
- Lou
seen from United Kingdom

seen from Italy
seen from United States
seen from United States
seen from Iraq
seen from Iraq

seen from United States
seen from Germany
seen from United States
seen from United States
seen from United States

seen from Germany

seen from Malaysia
seen from United States
seen from France
seen from Germany
seen from Albania
seen from United States

seen from United States
seen from United States
I’m older than Morgyn but I’m obsessed with the massive little brother energy I give off half the time
- Lou
SHELTER / EIGHT COLLIDING DANCERS : PROTOPOST (LP) Growing BinやInternational Feel等からも作品を発表しているパリの実力派プロデューサーShelterがアルバムをリリース!民族的なエッセンスのレフトフィールド~アンビエント作品!相変わらず彼は質感高い! #SHELTER #PROTOPOST #balearic #downtempo #ambient #leftfield #lp #strdbalearic #strdlp #vinyl#record#stradarecords#dj#vinyljunkies#kobe#motomachi#strada#recordshop#recordstore#神戸レコード#元町レコード#レコード店#レコード#アナログ https://www.stradarecords.com/shop/item/28404/index.php (at Strada Records) https://www.instagram.com/p/Cpzm5eAv1BD/?igshid=NGJjMDIxMWI=
this is a post to remind me to post about path induction in HoTT now that I’m feeling at least a bit better. posting this proto-post so that it’s, like, a Real Post I can come back to
gist of what I want to say: the reason it “works” is because, like with other inductive types, you never have to actually compute with what path induction gives you until it matches the constructor (refl)! it doesn’t do anything magical to actually get from something defined on refl to something defined on all paths, it just says “yeah, you can formally generalize from these circumstances” and defers computation until you’re actually back in those circumstances