GitHub repository: tudo-seal/clsp-python
Primary language: Python
Description: Type Based Synthesis using inhabitation in FCLP