Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
33 changes: 11 additions & 22 deletions guix.scm
Original file line number Diff line number Diff line change
@@ -1,32 +1,21 @@
; SPDX-License-Identifier: MPL-2.0
;; guix.scm — GNU Guix package definition for wokelang
;; Usage: guix shell -f guix.scm
;; SPDX-License-Identifier: MPL-2.0
;; Guix development environment.
;; Usage: guix shell -D -f guix.scm

(use-modules (guix packages)
(guix build-system gnu)
(guix licenses))
(guix licenses)
(gnu packages base)
(gnu packages bash)
(gnu packages rust))

(package
(name "wokelang")
(version "0.1.0")
(source #f)
(build-system gnu-build-system)
(synopsis "A human-centred, consent-driven programming language")
(description
"WokeLang is a statically typed programming language whose type system
discharges consent and affine-use reasoning, so destructive operations are
scaffolded at the language level rather than by convention. The primary
toolchain is written in Rust; a smaller OCaml reference core cross-checks the
semantics.")
(inputs (list coreutils bash rust))
(synopsis "wokelang")
(description "wokelang — part of the hyperpolymath ecosystem.")
(home-page "https://github.com/hyperpolymath/wokelang")
;; Code is MPL-2.0 (documentation is CC-BY-SA-4.0, see LICENSES/).
;;
;; This previously read:
;; (license ((@@ (guix licenses) license) "MPL-2.0" "…"))
;; which was broken two ways: `@@` reaches into a NON-EXPORTED binding of
;; (guix licenses), and the `license` record constructor takes three fields
;; (name uri comment) but was given two. Since guix is not installed on the
;; development host, nothing ever evaluated this file and the fault went
;; unnoticed. `mpl2.0` is exported by (guix licenses) and is the correct
;; spelling.
(license mpl2.0))
(license ((@@ (guix licenses) license) "MPL-2.0" "https://github.com/hyperpolymath/palimpsest-license")))
Loading