Put a revision of part I of my thesis online http://fare.tunes.org/tmp/phd/thesis.pdf … For part II, I'm considering Agda categorieshttps://github.com/copumpkin/categories …
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!