This website works better with JavaScript
صفحهٔ اصلی
گشتوگذار
راهنما
ثبت نام
ورود
jellyfishtechnologies
/
JellyfishTechnologies
دنبال کردن
1
ستاره دار
0
انشعاب
0
پروندهها
مشکلات
0
درخواست واکشی
0
ویکی
درخت:
124596dcaa
شاخهها
تگها
master
JellyfishTec...
/
.gitignore
.gitignore
21 B
تاريخچه
خام
1
2
3
# ---> Agda
*.agdai