Data

Tools

Indexes

Applications

Experiments

Open Source Science

agda-sessions

Learn the Agda basics in three 2-hour sessions.

https://github.com/anuyts/agda-sessions

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (4.8%) to scientific vocabulary
Last synced: 9 months ago · JSON representation ·

Repository

Learn the Agda basics in three 2-hour sessions.

Basic Info
  • Host: GitHub
  • Owner: anuyts
  • Language: Agda
  • Default Branch: master
  • Size: 95.7 KB
Statistics
  • Stars: 56
  • Watchers: 3
  • Forks: 7
  • Open Issues: 0
  • Releases: 0
Created about 7 years ago · Last pushed over 2 years ago
Metadata Files
Readme Citation

README.md

Agda-sessions

Learn the Agda basics in three 2-hour sessions.

This Agda tutorial was constructed by Jesper Cockx and is presently maintained by Andreas Nuyts as part of a CS master course titled "Formal Systems and their Applications" at KU Leuven, Belgium. We decided to make it public after receiving comments that there aren't so many quick Agda tutorials out there.

All agda code should currently be tuned for Agda 2.6.1 and the Agda standard library v1.3 (versions available via Ubuntu jammy package manager).

It is assumed you use emacs with agda-mode as your IDE. Users may wish to put the .emacs file in their homefolder.

Owner

  • Login: anuyts
  • Kind: user
  • Company: KU Leuven

Citation (CITATION.cff) 

# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!

cff-version: 1.2.0
title: agda-sessions
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Jesper
    family-names: Cockx
    orcid: 'https://orcid.org/0000-0003-3862-4073'
  - given-names: Andreas
    family-names: Nuyts
    orcid: 'https://orcid.org/0000-0002-1571-5063'
  - given-names: Thomas
    family-names: Van Strydonck
    orcid: 'https://orcid.org/0000-0002-5262-1381'
repository-code: 'https://github.com/anuyts/agda-sessions'
abstract: Learn the Agda basics in three 2-hour sessions.
keywords:
  - Agda
  - tutorial

GitHub Events

Total
  • Watch event: 5
  • Fork event: 4
Last Year
  • Watch event: 5
  • Fork event: 4