/lamtc

Simple Prolog type checker

Primary LanguageProlog

This repository is not active