omasanori@mstdn.maud.io/105967533479865524

Profile

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

Masanori Ogino 𓀁 reblogged at 4 years ago

Guile ってまだ `#nil` あるんだ……。ACL2 のプログラムを Guile で読むのに使えそうだけどあんまり使いたくない気持ちがある。

```
scheme@(guile-user)> #nil
$1 = #nil
scheme@(guile-user)> (null? #nil)
$2 = #t
scheme@(guile-user)> (if #nil 1 2)
$3 = 2
scheme@(guile-user)>
```

Recent