P

parametrickery-haskell

Project information

A framework for reasoning about the (un)realizability of polymorphic programs based on input-output examples.

61 Commits
3 Branches
1 Tag
1 Release

README
BSD 2-Clause "Simplified" License
CHANGELOG

Created on

February 05, 2026

Loading