def h8

lawful-words@0.1.0.0 · proof_zb.bend:30

import lawful-words@0.1.0.0/proof_zb.bend as ProofZb

import Base

30def h8() -> Word(8n):
31  WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{True{}, WNil{}}}}}}}}}

Uses (4)

Used by (9)