GitHub - AviCraimer/math-projects: Ideas in pure math in Haskell and Javascript. Also includes notes for MIT Programming with Categories course

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
.vscode		.vscode
category-theory		category-theory
groups		groups
idris		idris
javascriptExperiments		javascriptExperiments
type-system		type-system
.gitignore		.gitignore

About

Ideas in pure math in Haskell and Javascript. Also includes notes for MIT Programming with Categories course

No releases published