Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
agda-basics
Name
uvm-plaid's repositories
.gitignore
Basics001.agda
Basics002.agda
Makefile
README.md
basics.agda-lib