This website requires JavaScript.
Explore
Help
Sign In
earl-warren
/
test01
Watch
2
Star
0
Fork
You've already forked test01
0
Code
Issues
5
Pull requests
2
Projects
Releases
1
Packages
Wiki
Activity
96b1cef7ad
test01
/
.gitignore
earl-warren
cbe6e4a58e
Initial commit
2024-02-15 18:14:44 +00:00
4 lines
32 B
Text
Raw
Blame
History
# ---> Agda
*.agdai
MAlonzo/**
Reference in a new issue
View git blame
Copy permalink