File:Agda's_official_logo.svg
From Wikipedia, the free encyclopedia
Original file (SVG file, nominally 5,217 × 1,707 pixels, file size: 4 KB)
This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
DescriptionAgda's official logo.svg |
English: The official logo of the Agda programming language (design by Miëtek Bak). |
Date | |
Source | https://github.com/agda/agda/blob/master/doc/user-manual/agda.svg |
Author | The Agda Community / Miëtek Bak |
Licensing
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 |
Items portrayed in this file
depicts
23 December 2019
image/svg+xml
4c1198f993816bf8c39256cf15c001584563103f
3,619 byte
1,707 pixel
5,217 pixel
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 22:46, 6 January 2020 | 5,217 × 1,707 (4 KB) | Soimort | User created page with UploadWizard |
File usage
Global file usage
The following other wikis use this file:
Metadata
This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.
If the file has been modified from its original state, some details may not fully reflect the modified file.
Short title | logotype |
---|---|
Image title | Created with Sketch. |
Width | 5217px |
Height | 1707px |