|
| From: | Marc Coquand |
| Subject: | Re: With imported functions instead of module? |
| Date: | Fri, 13 Dec 2024 14:08:00 +0200 |
All right, thanks. Then I think the best approach is to just have a separate module that I import. -- Marc
| [Prev in Thread] | Current Thread | [Next in Thread] |