Leave feedback Log In

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

Try: signal - this will search in symbol's name and documentation.

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

Waiting in the queue. Position: 1452.