[go: up one dir, main page]

Skip to content

seanpm2001/AI2001_Category-Source_Code-SC-Agda

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

36 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

AI2001 data sets

Category: Source Code

Subcategory (SC): Agda

This dataset is under development/coming soon.

🌱️ This README.md file is a major stub and need significant expansion


File version: 1 (2023, Wednesday, May 10th at 4:04 pm PST)


Releases

No releases published

Packages

No packages published