refinement-types 0.1.0

Refinement types.
Documentation
1
2
3
4
5
6
7
8
[context]
name = "refinement-types"
version = "0.1.0"
url = "https://github.com/nekitdev/refinement-types"

[formats]
title = "[{{version}}]({{url}}/tree/v{{version}}) ({{date}})"
fragment = "{{content}} ([#{{id}}]({{url}}/pull/{{id}}))"