refining 0.3.0

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

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