Leave feedback Log In

Ultralisp.org ^{includes two thousand three
hundred ten projects}

Try: package:"reblocks/actions" to search all symbols exported from a package.

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 1 day 2 hours ago. Next check will be made in 1 day 11 minutes.