Pinchflat

MENU

Home
Sources
Media Profiles
Config
- Settings
- App Info

Docs
Github
Discord
Donate
Pinchflat 2025.9.26 NEW yt-dlp 2025.12.08

We can't find the internet

Attempting to reconnect

Something went wrong!

Hang in there while we get back on track

Editing "Automating Type-Driven Development with (Co)algebras - Juan Manuel Serrano Hidalgo | Lambda Days 25"

General Options

Prevent Download

Checking excludes this media item from automatic download. Download can still be manually forced

Prevent Automatic Deletion

Checking excludes media from being automatically deleted based on media retention rules

Donate

Thank you for your support :)

If you find the project valuable and want to say thanks, a donation to the Electronic Frontier Foundation would be greatly appreciated! You can optionally post proof of donation on this issue to hopefully inspire others to donate as well.

The Electronic Frontier Foundation is a nonprofit organization who defend your online liberties and backed youtube-dl when Google took them down