File:Agda's official logo.svg

原始文件 (SVG文件,尺寸为5,217 × 1,707像素,文件大小:4 KB)


摘要

描述
English: The official logo of the Agda programming language (design by Miëtek Bak‏).
日期
来源 https://github.com/agda/agda/blob/master/doc/user-manual/agda.svg
作者 The Agda Community / Miëtek Bak

许可协议

This SVG file (https://github.com/agda/agda/blob/master/doc/user-manual/agda.svg) is part of Agda's official source repository (https://github.com/agda/agda), therefore it follows the same license as the source code


著作权 © 作者

著作权持有人允许其他人在遵守下列条件的情况下,再分发与使用、修改该软件的源代码和二进制可执行形式:

  1. 再分发源代码时必须保留上述版权声明、这几个条件列表和下述的免责声明。
  2. 再分发二进制可执行形式时必须复制上述版权声明、这几个条件列表和下述的免责声明于该软件说明文档或其他和该软件一同分发的材料之中。
  3. 未事先获得书面许可,不得使用作者或该软件贡献者的名字,来为该软件的衍生物进行赞同或推广。

该软件由作者和贡献者“按原样”提供,没有任何明示或暗示性的担保(包括但不限于暗示性的销售、适用于某种特定目的的担保)。在任何情况下,无论如何造成、基于何种责任理论,无论是因对该软件进行任何方式的使用而衍生出的合同,严格责任还是民事侵权行为(包括疏忽或其它),即使这种损害的可能性在考虑范围内,作者和贡献者都不应对任何直接、间接、偶然、特殊、惩戒性或导致的损失(包括但不限于获得替代物品或服务,使用、数据或利润损失,或商务中断)承担法律责任。

说明

添加一行文字以描述该文件所表现的内容
Agda's official logo ("Hönan Agda")

此文件中描述的项目

描繪內容

image/svg+xml

4c1198f993816bf8c39256cf15c001584563103f

3,619 字节

1,707 像素

5,217 像素

文件历史

点击某个日期/时间查看对应时刻的文件。

日期/时间缩⁠略⁠图大小用户备注
当前2020年1月6日 (一) 22:462020年1月6日 (一) 22:46版本的缩略图5,217 × 1,707(4 KB)SoimortUser created page with UploadWizard

以下页面使用本文件:

全域文件用途

以下其他wiki使用此文件:

元数据