Appendix C. REPL commands. The Idris read-eval-print loop (REPL) provides several commands for evaluating and inspecting expressions and types, ...
確定! 回上一頁