Safe Haskell | None |
---|---|
Language | Haskell98 |
Agda.TypeChecking.Free.Tests
Description
Tests for free variable computations.
Documentation
All tests as collected by quickCheckAll
.
Agda-2.5.1: A dependently typed functional programming language and proof assistant