{"type":"rich","version":1.0,"title":"Example of using nvim-agda","width":1005,"html":"<a href=\"https://asciinema.org/a/406069\" target=\"_blank\"><img alt=\"Example of using nvim-agda\" src=\"https://asciinema.org/a/406069.png\" width=\"1005\"></a>","height":632,"author_name":"ashinkarov","author_url":"https://asciinema.org/~ashinkarov","provider_url":"https://asciinema.org/","thumbnail_url":"https://asciinema.org/a/406069.png","thumbnail_width":1005,"thumbnail_height":632,"provider_name":"asciinema"}