From 5163a157c4f9b552db220efaa753f210518817fe Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 9 Sep 2021 22:53:04 +0900
Subject: Add `(in-package "ACL2")` lines.

---
 list-monad.lisp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'list-monad.lisp')

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$ という限定的な高階関数を実現する機能があるがよく分かってい
-- 
cgit v1.2.3