GitHub repository: Fuuzetsu/yi-agda
Primary language: Haskell
Description: Agda mode for Yi