{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"You got Agda in my Haskell? By Ryan Orendorff\" src=\"https://watch.softinio.com/videos/embed/xreydeDYNeWrZzKnYr2U5v\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"You got Agda in my Haskell? By Ryan Orendorff","author_name":"Salar Rahmanian","author_url":"https://watch.softinio.com/video-channels/softinio","provider_name":"PeerTube","provider_url":"https://watch.softinio.com","thumbnail_url":"https://watch.softinio.com/lazy-static/previews/fef17ac4-fbb7-429e-b8c0-12e2040be8a7.jpg","thumbnail_width":850,"thumbnail_height":480}