Bachelor thesis about the Dold-Kan correspondence https://github.com/Jaxan/Dold-Kan
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
 
 

13 lines
257 B

{
"folders":
[
{
"path": "/Users/joshua/Documents/uni/2012-2013/Bachelor Thesis",
"folder_exclude_patterns": ["build", "reading"]
},
{
"name": "Documents",
"path": "/Users/joshua/Documents/uni/2012-2013/Bachelor Thesis/reading"
}
]
}