file type agda icon

From VSCode Icons by Roberto Huertas.

Preview and customize this icon, then copy SVG or JSX or download it as PNG.

License: MIT View license