GitHub - RedPRL/sml-cats: Some basic categorical & algebraic structures for Standard ML · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
src		src
.gitignore		.gitignore
.travis.yml		.travis.yml
cats.cm		cats.cm
cats.mlb		cats.mlb

About

Some basic categorical & algebraic structures for Standard ML

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Standard ML 100.0%