Hello.fr

module Hello where

data JodaYears = native org.joda.time.Years where
     pure native years org.joda.time.Years.years :: Int -> JodaYears
     pure native getYears :: JodaYears -> Int

main _ = println $ JodaYears.getYears $ JodaYears.years 5

project.clj

(defproject example "0.1.0-SNAPSHOT"
  :description "Example Clojure / Frege mixed language application"
  :url "http://example.com/FIXME"
  :license {:name "Eclipse Public License"
            :url "http://www.eclipse.org/legal/epl-v10.html"}
  :dependencies [[com.theoryinpractise.frege/frege "3.22.367-g2737683"]
                 [joda-time/joda-time "2.7"]]
  :plugins [[lein-fregec "3.22.367-i"]]
  :frege-source-paths ["src"]
  :main Hello
  :profiles {:uberjar {:prep-tasks ["fregec" "compile"]}})