Tootfinder

Opt-in global Mastodon full text search. Join the index!

@patrikja@functional.cafe
2025-10-12 06:40:14

Really important practical question: how to do type search for #Agda.
Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search
Presented by Satoshi Takimoto. Joint work with Sosuke Moriguchi, Takuo Watanabe

First slide of "Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search"
@patrikja@functional.cafe
2025-10-01 09:04:12

Today I'm at the Workshop in Honor of Peter Dybjer (now emeritus professor) #Agda

Peter Dybjer himself, before the first talk.
Ana Bove and Thierry Coquand introducing the workshop
Xavier Leroy presenting his talk
András Kovács presenting
@patrikja@functional.cafe
2025-10-15 01:08:57

Final ICFP keynote on Proof-Carrying Neuro-Symbolic Code by Ekaterina Komendantskaya
#icfpsplash25
share.google/G4C1iRyA0qE5m5Mi2