Pinned Repositories
awesome-applied-category-theory
ACT community resources
cats-in-context
haskell-resources
A List of Foundational Haskell Papers
higher-categorical-logic
homotopy-type-theory-notes
HoTT Note-taking action
Isomorphic-Reasoning
Isomorphic Reasoning: Counting with Types
lawvere
The collected works of F. W. Lawvere
optics-resources
Resources for the aspiring optician
parametricity
Type-Arithmetic-and-the-Yoneda-Perspective
Slides for Scalaworld 2019
cohomolo.gy's Repositories
cohomolo-gy/haskell-resources
A List of Foundational Haskell Papers
cohomolo-gy/optics-resources
Resources for the aspiring optician
cohomolo-gy/Isomorphic-Reasoning
Isomorphic Reasoning: Counting with Types
cohomolo-gy/homotopy-type-theory-notes
HoTT Note-taking action
cohomolo-gy/Type-Arithmetic-and-the-Yoneda-Perspective
Slides for Scalaworld 2019
cohomolo-gy/cats-in-context
cohomolo-gy/higher-categorical-logic
cohomolo-gy/lawvere
The collected works of F. W. Lawvere
cohomolo-gy/awesome-applied-category-theory
ACT community resources
cohomolo-gy/parametricity
cohomolo-gy/cohomolo.gy
cohomolo-gy/OpenLogic
An open-source, customizable intermediate logic textbook
cohomolo-gy/analysis-on-manifolds
Differential Geometry Problem Sets
cohomolo-gy/differentiable-manifolds-UofUtah
Repo for MA6510 w/ Bromberg
cohomolo-gy/DistributedMondays
cohomolo-gy/Hulk-Smash
cohomolo-gy/ingram-algebraic-number-theory
cohomolo-gy/invitation-to-haskell
cohomolo-gy/Anime-Girls-Holding-Programming-Books
Anime Girls Holding Programming Books
cohomolo-gy/discrete-differential-geometry
An elegant implementation of discrete diffgeo in haskell
cohomolo-gy/professional-cv