@hackage / tip-lib

tons of inductive problems - support library and tools

0.2.2

Dependents

@hackage / tip-haskell-frontend Convert from Haskell to Tip
- Version: 0.2
- Last uploaded: 10 years ago
- License: BSD-3-Clause