Download the Agda Logo In Multiple File Formats
Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The original Agda system was developed at Chalmers by Catarina Coquand in 1999.
- Download all Files in ZIPDownload
- Version
- Views
- Downloads 16
- Total File Size 113.87 KB
- Date Uploaded October 26, 2022
- Categories Programming Language
NOTE: By downloading this logo, you agree with our Terms of Use.
Download Agda in PDF vector, SVG logo Vector Format, PNG Transparent Format, Adobe Illustrator Ai format, Corel Draw .CDR format, and EPS Format.
Scroll down to see more details about the Agda logo.
This Agda vector logo is 100% vector-based, designed using Adobe Illustrator. This means that the Agda logo can be resized without losing any quality. Logo resolution up to 300 dpi, Color (CMYK) and it is fully layered.
Download now and enjoy.