spamegg
- added `dune` and `dune-project` files, so that we can now build and test with `dune test` - added `test` directory, added test files for `quicksort` and `linear_search` From now...
`make -j 8 tests` works fine. Tests build successfully. `make run-tests` returns $ make run-tests [ 1%] Built target clew [ 7%] Built target easycl [ 44%] Built target cocl...
**Problem:** Introduction to Logic course on Coursera is broken and unmaintained. **Duration:** September 10, 2022 - September 24, 2022 **Background:** The Stanford Introduction to Logic course on Coursera is broken....
The Stanford Introduction to Logic course on Coursera is broken. Almost all of the external links  end up dead:  It's been like...
## Problem This will be a LONG one, please read all of it! (Except parts marked "optional".) Many learners report difficulties with certain **abstract mathematical concepts** in "Introduction to Programming...
### Describe the bug 1. Open a worksheet 2. Type a few lines of results to be evaluated. 3. Define a value named `val res2 = 1` to see error....
- The link https://www.creativescala.org/case-study-forms gives a 404. - Doodle Explore shows 0.13.0 https://www.creativescala.org/doodle-explore/ but latest on Maven is 0.14.0. - The link to Doodle Explore is instead pointing at Doodle...
**Version(s)** 1.2.1 **Describe the bug** scala.NotImplementedError: an implementation is missing when running `scala-cli test .` in a native file. The stacktrace says: ```bash scala.NotImplementedError: an implementation is missing scala.Predef$.$qmark$qmark$qmark(Predef.scala:344) scala.build.testrunner.AsmTestRunner$.matchFingerprints$$anonfun$1(AsmTestRunner.scala:92)...
I'm unable to use `gapt` in Scala 3 SBT projects; using `.cross(CrossVersion.for3Use2_13)` leads to version conflicts with other libraries in my project. I'd be willing to help out; is there...
I didn't even know until recently that I can use hex in SML: 