I see! I would also add that UCP isn't OSS (one of the only commercial products of Docker).
Great job, looks cool! How does it compare with UCP ? https://docs.docker.com/datacenter/ucp/2.2/guides/
you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"
It means that a set of rules (generally small) governs how "cells" live or die in their universe. Conway's game of life is a cellular automaton in 2d board, with cells being either alive or dead. Woflram's automaton has…
I see! I would also add that UCP isn't OSS (one of the only commercial products of Docker).
Great job, looks cool! How does it compare with UCP ? https://docs.docker.com/datacenter/ucp/2.2/guides/
you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"
It means that a set of rules (generally small) governs how "cells" live or die in their universe. Conway's game of life is a cellular automaton in 2d board, with cells being either alive or dead. Woflram's automaton has…