File:Agda's official logo.svg
![File:Agda's official logo.svg](https://upload.wikimedia.org/wikipedia/commons/thumb/7/71/Agda%27s_official_logo.svg/800px-Agda%27s_official_logo.svg.png?20200106224608)
原始檔案 (SVG 檔案,表面大小:5,217 × 1,707 像素,檔案大小:4 KB)
說明
說明
摘要
[編輯]描述Agda's official logo.svg |
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
![]() |
Copyright © The author
Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
This software is provided by The author and contributors "as is" and any express or implied warranties, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpose are disclaimed. In no event shall The author and contributors be liable for any direct, indirect, incidental, special, exemplary, or consequential damages (including, but not limited to, procurement of substitute goods or services; loss of use, data, or profits; or business interruption) however caused and on any theory of liability, whether in contract, strict liability, or tort (including negligence or otherwise) arising in any way out of the use of this software, even if advised of the possibility of such damage. http://opensource.org/licenses/bsd-license.phpBSDBSD licensetruetrue |
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
日期/時間 | 縮圖 | 尺寸 | 使用者 | 備註 | |
---|---|---|---|---|---|
目前 | 2020年1月6日 (一) 22:46 | ![]() | 5,217 × 1,707(4 KB) | Soimort(留言 | 貢獻) | User created page with UploadWizard |
無法覆蓋此檔案。
檔案用途
下列頁面有用到此檔案:
全域檔案使用狀況
以下其他 wiki 使用了這個檔案:
- en.wikipedia.org 的使用狀況
- ko.wikipedia.org 的使用狀況
- ru.wikipedia.org 的使用狀況
- zh.wikipedia.org 的使用狀況
詮釋資料
此檔案中包含其他資訊,這些資訊可能是由數位相機或掃描器在建立或數位化過程中所新增的。若檔案自原始狀態已被修改,一些詳細資料可能無法完整反映出已修改的檔案。
簡稱 | logotype |
---|---|
影像標題 | Created with Sketch. |
寬度 | 5217px |
高度 | 1707px |