diff options
author | Justin Le <justin@jle.im> | 2016-05-25 08:37:10 -0700 |
---|---|---|
committer | Justin Le <justin@jle.im> | 2016-05-25 08:37:10 -0700 |
commit | 3ddb98ef66ed672c4da67e38ff2127cc912aefe7 (patch) | |
tree | e121e8b57dbb85e85cf5d8bc463ac2f1ca023ec4 /examples/devel | |
parent | 79369ee4c72d3c4844c734219c8f6430b3b0c4ab (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 'examples/devel')
0 files changed, 0 insertions, 0 deletions