Icône File Type Agda

vscode-icons:file-type-agda

L'icône File Type Agda (vscode-icons:file-type-agda) est une icône SVG gratuite de la collection VSCode Icons par Roberto Huertas. Elle est dessinée sur une grille de 32 × 32. Les VSCode Icons sont publiées sous la licence MIT, qui autorise leur utilisation dans des projets personnels et commerciaux. Copiez-la en code SVG, JSX, Vue ou Svelte, ou téléchargez le fichier SVG.

Collection: VSCode Icons
Auteur: Roberto Huertas
Licence: MIT
Taille: 32 × 32
Mots-clés: filetype, typeagda, filetypeagda

Télécharger le SVG

Code SVG

<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>

Comment utiliser l'icône File Type Agda

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>

Image HTML

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

Icônes similaires dans VSCode Icons

FAQ : Icône File Type Agda

L'icône File Type Agda est-elle gratuite pour un usage commercial ?

Oui. Les VSCode Icons sont publiées sous la licence MIT, qui autorise leur utilisation dans des projets personnels et commerciaux.

Comment utiliser l'icône File Type Agda dans React ?

Installez @iconify/react et affichez <Icon icon="vscode-icons:file-type-agda" />, ou utilisez « Copier le code » sur cette page pour obtenir un composant React autonome.

Comment ajouter l'icône File Type Agda à une page web ?

Liez le fichier SVG dans une balise image : <img src="https://iconyz.com/api/public/svg/vscode-icons/file-type-agda.svg" alt="Icône File Type Agda">, ou collez le code SVG directement dans la page pour le styliser en CSS.

Voir toutes les VSCode Icons →