marcoheisig /restricted-functions

Enter comma separated tag names:

+

Reasoning about functions with restricted argument types.

source-id=353 version=1 project-id=353 project-version=0

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 5 days 16 hours ago. Next check will be made in 1 day 7 hours.