Pentothal

Higher-order functional predicates.

MIT License

Downloads
921
Stars
8