corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0877e-7cc5-7147-8fbf-0c6eddeeedf8

Kompreni: Understanding OCaml with Abstract Algebra Examples

grahamenos.com · published 11 May 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at grahamenos.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
21
Words captured
3,114

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://ocaml.org/
ocaml.org
https://cs3110.github.io/textbook/cover.html
cs3110.github.io
https://dev.realworldocaml.org/index.html
dev.realworldocaml.org
https://ocaml.org/releases/5.0.0
ocaml.org
https://okmij.org/ftp/
okmij.org
https://okmij.org/ftp/tagless-final/
okmij.org
https://www.stephendiehl.com/posts/exotic01.html
stephendiehl.com
Modules Matter Most Read at the source ↗
existentialtype.wordpress.com
https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html
pathsensitive.com
https://github.com/genos/kompreni/
github.com
https://github.com/Risto-Stevcev/bastet/
github.com
https://en.wikipedia.org/wiki/Semigroup
en.wikipedia.org
https://github.com/ocaml/dune
github.com
https://github.com/c-cube/qcheck
github.com
https://en.wikipedia.org/wiki/Monoid
en.wikipedia.org
https://en.wikipedia.org/wiki/Semiring
en.wikipedia.org
https://en.wikipedia.org/wiki/Tropical_semiring
en.wikipedia.org
https://en.wikipedia.org/wiki/Module_(mathematics
en.wikipedia.org
https://en.wikipedia.org/wiki/Module
en.wikipedia.org
https://github.com/ocaml/Zarith
github.com
https://www.quora.com/Why-are-floating-point-numbers-defined-as-float-instead-of-real
quora.com