{"type":"rich","version":1.0,"title":"lambda.hs","width":3041,"height":2168,"html":"<a href=\"https://asciinema.org/a/85183\" target=\"_blank\"><img src=\"https://asciinema.org/a/85183.png\" alt=\"lambda.hs\" width=\"3041\"></a>","author_name":"mushu","author_url":"https://asciinema.org/~mushu","provider_url":"https://asciinema.org/","thumbnail_width":3041,"thumbnail_url":"https://asciinema.org/a/85183.png","thumbnail_height":2168,"provider_name":"asciinema"}