Post #1819342
2026-04-28 07:18 UTC
@screwlisp @vnikolov If I can get the system to a stage where I can port packages from other Lisps to it that will be a big win. My idea is that I will have at least a #Clojure read table and a #CommonLisp read table -- but because the underlying structure is slightly different from either, porting most things will probably need a little rewriting.
Still, ACL2 is now on that list!
Replies (0)
No replies.