I’ve written a roundup of the exciting talks, demos and discussions that were held at PROPL 2025 over on my homepage at https://anil.recoil.org/notes/icfp25-propl. Enjoy, and do let me know if you have any corrections or additions you’d like to the post!