Elektrine lite

← Feed

@simon_brooke@mastodon.scot

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.