صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd_patch
شاخه‌ها تگ‌ها
agda
/
test
/
lib-interaction
/
Issue2066.in

Issue2066.in 99 B
لینک دائمی تاريخچه خام

123 
  1. top_command (cmd_load currentFile ["-i.","-i../../std-lib/src/"])
    2. 

  2. goal_command 0 cmd_make_case "p"
    3. 

  3.