1 2 3 4 5 6 7 8
[context] name = "refinement-types" version = "0.0.0" url = "https://github.com/nekitdev/refinement-types" [formats] title = "[{{version}}]({{url}}/tree/v{{version}}) ({{date}})" fragment = "{{content}} ([#{{id}}]({{url}}/pull/{{id}}))"