(use-modules (guix gexp)
             (guix git-download)
             ((guix licenses) #:prefix license:)
             (guix packages)
             (yellowsquid build-system agda)
             (yellowsquid packages agda))

(define %source-dir (dirname (current-filename)))

(define-public cat-theory
  (package
    (name "cat-theory")
    (version "0.1")
    (home-page "https://git.yellowsquid.uk/yellowsquid/cat-theory.git")
    (source (local-file %source-dir
                        #:recursive? #t
                        #:select? (git-predicate %source-dir)))
    (build-system agda-build-system)
    (inputs (list agda-categories agda-stdlib-1.7))
    (synopsis "Solutions to exercises from the University of Cambridge Category
Theory course.")
    (description "")
    (license license:expat)))

cat-theory