Follow

引っ越し終わったら、このまえやってた ACL2 on Guile の続きの開発しようと思ってる。Guile Emacs の開発が続く限り ACL2 on Guile も可能なはず。
(nil があるから)

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!