Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Source

Agda developers (agda/agda repository): Agda license

Web Source
Facts
Publisher
Agda developers (agda/agda repository)
Url
https://raw.githubusercontent.com/agda/agda/master/LICENSE
Sources
Agda developers (agda/agda repository): Agda license
Agda developers (agda/agda repository)View the Source
Claims Backed By This Source (3 claims)

This source backs 3 claims across the atlas. As facts: 2 well-attested. As cited relationships: 1 holds.

Disposition By Topic

  • Sources, 2 claims: 2 well-attested.
  • Programming Languages, 1 claims: 1 holds.

Well-attested

2

Sources

Agda developers (agda/agda repository): Agda license

Holds

1

Programming Languages

Agda
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.