SRFI 145: Assumptions

by Marc Nieper-Wi├čkirchen

status: draft (2016/12/18)