summaryrefslogtreecommitdiff
path: root/packages/tests
diff options
context:
space:
mode:
authorJustin Le <justin@jle.im>2016-05-25 08:37:10 -0700
committerJustin Le <justin@jle.im>2016-05-25 08:37:10 -0700
commit3ddb98ef66ed672c4da67e38ff2127cc912aefe7 (patch)
treee121e8b57dbb85e85cf5d8bc463ac2f1ca023ec4 /packages/tests
parent79369ee4c72d3c4844c734219c8f6430b3b0c4ab (diff)
added determinate functions to Domain typeclass. Rationale is that these can be verified to be square and are therefore total, compared to the determinate function from the untyped packages.
Diffstat (limited to 'packages/tests')
0 files changed, 0 insertions, 0 deletions