ICONYZ
日本語
VSCode Icons の File Type Agda アイコン

File Type Agda アイコン

vscode-icons:file-type-agda

File Type Agda アイコン(vscode-icons:file-type-agda)は、VSCode Icons セットの無料 SVG アイコンです(作者: Roberto Huertas)。 32 × 32 のグリッドで描かれています。 VSCode Icons は MIT ライセンス で公開されており、個人・商用プロジェクトで利用できます。 SVG・JSX・Vue・Svelte のコードとしてコピーするか、SVG ファイルをダウンロードできます。

アイコンセット
VSCode Icons
作者
Roberto Huertas
ライセンス
MIT
サイズ
32 × 32
タグ
filetype、typeagda、filetypeagda
SVG をダウンロード

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>

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 コンポーネント

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

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

VSCode Icons の関連アイコン

File Type Agda アイコン のよくある質問

File Type Agda アイコンは商用利用でも無料ですか?

はい。VSCode Icons は MIT ライセンス で公開されており、個人・商用プロジェクトで利用できます。

React で File Type Agda アイコンを使うには?

@iconify/react をインストールして <Icon icon="vscode-icons:file-type-agda" /> を描画するか、このページの「コードをコピー」で単体の React コンポーネントを取得します。

File Type Agda アイコンをウェブページに追加するには?

画像タグで SVG ファイルを読み込みます: <img src="https://iconyz.com/api/public/svg/vscode-icons/file-type-agda.svg" alt="File Type Agda アイコン">。CSS でスタイルを付けたい場合は SVG コードをページに直接貼り付けます。

VSCode Icons をすべて見る →