Platform SBCL : crash case 1

Create issue
Issue #3 resolved
Toshimi Sawada repo owner created an issue

SBCL version crashes with this case

open NAT .
ops n1 n2 : -> Nat .
trans n1 => n1 .
trans n1 => n2 .
-- eof
-- (1)
red n1 =(*,1)=>* NNN:Nat .
-- (2)
red n1 =(*,1)=>+ NNN:Nat .
close

Comments (2)

  1. Log in to comment