keywords: Type Checking
This repository hosts SRFI 253: Data (Type-)Checking, a Scheme Request for Implementation.
This SRFI is in final status. See also SRFI 143: Fixnums, SRFI 144: Flonums, SRFI 145: Assumptions, and SRFI 187: ALAMBDA and ADEFINE. The full documentation for this SRFI can be found in the SRFI Document.
If you’d like to participate in the discussion of this SRFI, or report issues with it, please join the SRFI-253 mailing list and send your message there.
Thank you.