|
|
|
|
|
|
by shakna
2375 days ago
|
|
|
... Yes. Of course they can. Lisp is usually an academic language, which means research into type systems and type safety frequently takes place in it. ACL2 is a theorum prover written in Common Lisp [0]. And not just a random project either, but something AMD, ARM, IBM, etc. have used. [0] https://en.wikipedia.org/wiki/ACL2 |
|
|