Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 03:23:31 JST きゅーけー

   S式の Haskell が Common Lisp の中で使えて S 式の Haskell の中で書いた関数が外で使えるし、Common Lisp の関数が S 式の Haskell の中で使えるってことなんでやばい。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 03:24:15 JST きゅーけー

     in reply to

     ACL2 (目的は全く異なる言語だけど)で似たようなことができないことに苦しんでいたので凄すぎて泣ける。