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