marcoheisig /restricted-functions

Reasoning about functions with restricted argument types.

Type GITHUB
Created at 2021-09-14 22:22:29 UTC
Source https://github.com/marcoheisig/restricted-functions
Branch or tag master
Last seen commit 6527f503db001c14eb9d9f710ce227e758606d5d
Release http://dist.ultralisp.org/archive/353/marcoheisig-restricted-functions-20210914222220.tgz
Systems
code/restricted-functions.asd
restricted-functions
Distributions ultralisp
Last check Finished 20 hours 19 minutes ago. Next check will be made in 1 day 3 hours.