diff options
Diffstat (limited to 'list-monad.lisp')
| -rw-r--r-- | list-monad.lisp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/list-monad.lisp b/list-monad.lisp index f7a6425..56a79dd 100644 --- a/list-monad.lisp +++ b/list-monad.lisp @@ -1,5 +1,6 @@ ;;; list-monad.lisp ;;; ACL2 でリストモナドがモナド則を満たしていることを示す +(in-package "ACL2") ;; ACL2 では第一級の関数は使えないため、値としての関数は連想リストで表現する ;; ACL2 には apply$ という限定的な高階関数を実現する機能があるがよく分かってい |