marcoheisig /restricted-functions
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 |
|
Distributions | ultralisp |
Last check | Finished 6 days 7 hours ago. Next check will be made in 16 hours 30 minutes. |