Clojure Leiningen类路径问题，向项目添加第二个文件

我目前正在尝试向我的第一个leiningen项目添加第二个文件

在pro/core.clj中

(ns pro.core
  (:gen-class)
  (:require ([pro.protocols :as prtcl])))

(extend-protocol prtcl.Matrix
...

在pro/protocols.clj中

(ns pro.protocols)
(defprotocol Matrix
    "Protocol for working with 2d datastructures."
    (lookup [matrix i j])
    (update [matrix i j value])
    (rows [matrix])
    (cols [matrix])
    (dims [matrix]))

运行lein compile时，我不断得到：

线程“main”java.lang.ClassNotFoundException中的异常： 矩阵，编译：（pro/core.clj:8）

---

谢谢大家!

你想要的是

prtcl/Matrix

，而不是

prtcl.Matrix

除了迭戈的答案，我还想重写

(:require ([pro.protocols :as prtcl]))

到

---

谢谢，但仍然不起作用，我现在得到的是：起因：java.lang.RuntimeException:没有这样的名称空间：prtcl

(:require [pro.protocols :as prtcl])