Schools
Schools copied to clipboard
The instructions at https://github.com/UniMath/Schools/blob/master/installation.md are outdated. Instead, we should point to the installation instructions located at https://github.com/UniMath/UniMath/issues/1587.
Last bit of terminal output: clang: warning: optimization flag '-fexcess-precision=standard' is not supported [-Wignored-optimization-argument] OCAMLC kernel/byterun/coq_memory.c clang: warning: optimization flag '-fexcess-precision=standard' is not supported [-Wignored-optimization-argument] OCAMLC kernel/byterun/coq_values.c clang: warning: optimization...