type-i

2023-02-15

Type Inference Utility on Fundamentally 1-arg Predicates

Upstream URL

github.com/guicho271828/type-i

Author

Masataro Asai

License

LLGPL
README

type-i

Type Inference Utility on Fundamentally 1-arg Predicates

Version:
0.1
License:
LLGPL
Authors:
Masataro Asai
Dependencies:
  • alexandria

  • introspect-environment

  • lisp-namespace

  • trivia.trivial

type-i.test

Test system for type-i

License:
LLGPL
Authors:
Masataro Asai
Dependencies:
  • fiveam

  • type-i

Dependencies (5)

  • alexandria
  • fiveam
  • introspect-environment
  • lisp-namespace
  • trivia

Dependents (1)

  • GitHub
  • Quicklisp