View file src/slc/skk-new.prf -
Download
! DI (I = ^a a) ! DK (K = ^a ^b a) ! DS (S = ^a ^b ^c (a c (b c))) ( DS DK DK ; DI )