marcoheisig /restricted-functions

Reasoning about functions with restricted argument types.

Type GITHUB
Created at 2019-03-19 05:08:29 UTC
Source https://github.com/marcoheisig/restricted-functions
Branch or tag master
Last seen commit 6527f503db001c14eb9d9f710ce227e758606d5d
Release http://dist.ultralisp.org/ultralisp/archive/m/marcoheisig-restricted-functions-20190714091830.tgz
Systems
code/restricted-functions.asd
restricted-functions
Distributions ultralisp
Last check Finished 5 days 7 hours ago. Next check will be made in 1 day 16 hours.