{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Generating code from Type Signatures using the Curry-Howard Correspondence by Sergi Winitzki\" src=\"https://watch.softinio.com/videos/embed/5vXCeqUpm7t7LZ2nRn7vnD\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Generating code from Type Signatures using the Curry-Howard Correspondence by Sergi Winitzki","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/c910dd37-12cc-41c4-acde-0deff0fe103b.jpg","thumbnail_width":850,"thumbnail_height":480}