Please enable JavaScript in your browser!
صفحهٔ اصلی
گشتوگذار
راهنما
ورود
rain1
/
term-rewrite-system
دنبال کردن
1
ستاره دار
0
انشعاب
0
پروندهها
مشکلات
0
درخواست واکشی
0
ویکی
شاخه:
master
شاخهها
تگها
master
تاریخچه Commit ها
یافتن
نویسنده
SHA1
پیام
تاریخ
rain1
4287b3f7e2
added another test
8 سال پیش
rain1
f6cab16f05
tidied the code and added more peano tests.
8 سال پیش