cl-why
(X)HTML generation macros
$ area51 add cl-whyCopyUsage
;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(cl-why:some-function ...)(X)HTML generation macros
$ area51 add cl-whyCopy;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(cl-why:some-function ...)