Sign In

Login

Password

Forgot Password ? Sign Up

Agda (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Agda" in German language version.

Last modified:

Ref.Un. Ref.Website
Global rank German rank
33agda.readthedocs.io
low place
low place
33github.com
380th place
255th place
22chalmers.se
low place
low place
22agda.github.io
low place
low place
11visualstudio.com
low place
low place
11quasicoherent.io
low place
low place
11existentialtype.wordpress.com
low place
low place
11plfa.github.io
low place
low place
11ncatlab.org
low place
7,557th place

agda.github.io (Global: low place; German: low place)

  • Documentation for the Agda standard library. Abgerufen am 12. Mai 2025.
  • Agda standard library. Data.Float. Abgerufen am 13. Mai 2025

agda.readthedocs.io (Global: low place; German: low place)

  • Agda-Dokumentation. Getting Started. Abgerufen am 12. Mai 2025.
  • Agda-Dokumentation. Emacs-Mode. Abgerufen am 12. Mai 2025.
  • Agda-Dokumentation. Coinductive Data. Abgerufen am 14. Mai 2025

chalmers.se (Global: low place; German: low place)

wiki.portal.chalmers.se

  • The Agda Wiki. Hauptseite. Abgerufen am 12. Mai 2025.
  • The Agda Wiki. MAlonzo-Unterseite. Abgerufen am 12. Mai 2025.

existentialtype.wordpress.com (Global: low place; German: low place)

  • Boolean Blindness. Blogeintrag von Bob Harper. Abgerufen am 20. Mai 2025.

github.com (Global: 380th place; German: 255th place)

  • Cornelis. Github-Seite. Abgerufen am 12. Mai 2025.
  • Agda-Tutorial von Jesper Cockx. Seite 15ff, insbesondere Seite 21. Version vom 20. März 2023.
  • Diskussion auf Github im Agda-Projekt über Gleitkommazahlen. Abgerufen am 13. Mai 2025.

ncatlab.org (Global: low place; German: 7,557th place)

  • Artikel auf nCatLab über die Implementierung reeller Zahlen in Agda. Abgerufen am 13. Mai 2025.

plfa.github.io (Global: low place; German: low place)

  • Programming Language Foundations in Agda. Equality. Abschnitt "cong". Abgerufen am 15. Mai 2025.

quasicoherent.io (Global: low place; German: low place)

agdapad.quasicoherent.io

  • Agdapad. Online-Emacs mit Agdamode. Abgerufen am 12. Mai 2025.

visualstudio.com (Global: low place; German: low place)

marketplace.visualstudio.com

  • Agda-Mode for VSCode. Visual Studio Marketplace. Abgerufen am 12. Mai 2025.