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 4 days 3 hours ago. Next check will be made in 2 days 20 hours. |