File Type Agda icon

vscode-icons:file-type-agda

The File Type Agda icon (vscode-icons:file-type-agda) is a free SVG icon from the VSCode Icons set by Roberto Huertas. It is drawn on a 32 × 32 grid. VSCode Icons are released under the MIT license, which allows use in personal and commercial projects. Copy it as SVG, JSX, Vue or Svelte code, or download the SVG file.

Icon set: VSCode Icons
Author: Roberto Huertas
License: MIT
Size: 32 × 32
Tags: filetype, typeagda, filetypeagda

Download SVG

SVG code

<svg xmlns="http://www.w3.org/2000/svg" width="32" height="32" viewBox="0 0 32 32"><path fill="#d2d2d2" d="M8.46 10.79a.61.61 0 0 1-.62.61a.61.61 0 0 1-.6-.61a.61.61 0 0 1 .6-.61a.61.61 0 0 1 .62.61m2.26 0a.61.61 0 0 1-.61.61a.61.61 0 0 1-.61-.61a.61.61 0 0 1 .61-.61a.61.61 0 0 1 .61.61"/><path fill="none" stroke="#d2d2d2" stroke-linecap="round" stroke-linejoin="round" stroke-width=".82" d="M25.06 4.67L16 13.73m13.6-6.8l-4.54 4.54m4.53-6.8L25.06 9.2M13.73 4.67L9.2 9.2M16 4.67L11.47 9.2m0-4.53L2.4 13.73h4.53v4.54c0 4.98 4.08 9.06 9.06 9.06s9.06-4.08 9.06-9.06v-4.54l4.53-4.53"/></svg>

How to use the File Type Agda icon

React

import { Icon } from "@iconify/react";

<Icon icon="vscode-icons:file-type-agda" width="24" />

Vue

<script setup>
import { Icon } from "@iconify/vue";
</script>

<template>
  <Icon icon="vscode-icons:file-type-agda" width="24" />
</template>

Svelte

<script>
  import Icon from "@iconify/svelte";
</script>

<Icon icon="vscode-icons:file-type-agda" width="24" />

Tailwind CSS

<!-- @iconify/tailwind plugin -->
<span class="icon-[vscode-icons--file-type-agda]"></span>

UnoCSS

<!-- @unocss/preset-icons + @iconify-json/vscode-icons -->
<div class="i-vscode-icons:file-type-agda"></div>

Web component

<script src="https://code.iconify.design/iconify-icon/2.1.0/iconify-icon.min.js"></script>

<iconify-icon icon="vscode-icons:file-type-agda"></iconify-icon>

HTML image

<img src="https://iconyz.com/api/public/svg/vscode-icons/file-type-agda.svg" alt="File Type Agda icon" width="24" height="24">

Related icons in VSCode Icons

File Type Agda icon FAQ

Is the File Type Agda icon free for commercial use?

Yes. VSCode Icons are released under the MIT license, which allows use in personal and commercial projects.

How do I use the File Type Agda icon in React?

Install @iconify/react and render <Icon icon="vscode-icons:file-type-agda" />, or use “Copy code” on this page to get a standalone React component.

How do I add the File Type Agda icon to a web page?

Link the SVG file in an image tag: <img src="https://iconyz.com/api/public/svg/vscode-icons/file-type-agda.svg" alt="File Type Agda icon">, or paste the SVG code inline to style it with CSS.

Browse all VSCode Icons →