Files

 master

/

workflows

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

WhatisRT

Update to Agda 2.6.3

May 11, 2023

9b9e03d · May 11, 2023

History

History

This branch is 37 commits behind agda/agda-stdlib-meta:master.

/

workflows

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
ci.yml		ci.yml	Update to Agda 2.6.3	May 11, 2023
View all files