ashinkarov Joined on April 8, 2021

Recent recordings

Example of using nvim-agda 0:46

by ashinkarov