Skip to content

agda/guarded

2 Branches0 Tags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

SaizanSaizan
[ clocked ] added Clocked.ListedFiniteSet
Dec 3, 2021
678027d · Dec 3, 2021

History

8 Commits
src
src
Dec 3, 2021
.gitignore
.gitignore
Sep 10, 2021
README.md
README.md
Jun 18, 2020
guarded.agda-lib
guarded.agda-lib
Sep 10, 2021

Repository files navigation

guarded

About

No description, website, or topics provided.

Resources

Readme
Activity
Custom properties

Stars

5 stars

Watchers

9 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages