jwaldmann
jwaldmann
> The original idea, by Edward Kmett, is described here ( https://www.fpcomplete.com/user/edwardk/revisiting-matrix-multiplication/part-4 ) gives 404. Apparently, this is https://www.schoolofhaskell.com/user/edwardk/revisiting-matrix-multiplication/part-4 now.
When I resize (increase width) the window in which the game runs, then the mountain range stays the same size (so, part of the window is black) but the "cannon"...
Hi, I am seeing this error ``` ... Prelude.undefined CallStack (from HasCallStack): error, called at libraries/base/GHC/Err.hs:79:14 in base:GHC.Err undefined, called at src/Data/HashTable/ST/Cuckoo.hs:406:31 in hashtables-1.2.4.1-6MJy5UcaJATEc9hXD9mdTw:Data.HashTa ble.ST.Cuckoo ``` on x86_64, with `+RTS...
I am unable to figure out how to transform a chart to SVG in a pure way. I thought that's one of the main reasons for having these native back-ends?...
When reading from a file, mueval changes the current directory and never resets it? https://github.com/gwern/mueval/blob/master/Mueval/Interpreter.hs#L109 I think this should be documented - or changed. I am using this work-around: https://gitlab.imn.htwk-leipzig.de/autotool/all0/blob/master/collection/src/Haskell/Blueprint/Central.hs#L120
What is the unit of time for this option? ``` Option "t" ["time-limit"] (ReqArg (\t opts -> opts { timeLimit = read t :: Int }) "TIME") "Time limit for...
I cannot build mueval from hackage with ghc-7.8.4 ``` Preprocessing library mueval-0.9.1.1... Mueval/Interpreter.hs:15:18: Could not find module ‘System.IO.UTF8’ It is a member of the hidden package ‘utf8-string-0.3.8’. ``` I can...
(design question) I think it would be nice if theory files were valid Haskell modules, so they can be used with ghc(i), so that the student can interactively develop the...
If I want to give exercise questions of the kind "complete this (partial) proof", then I need to mark positions in a proof tree where students can fill in stuff....
(again, Wadler's law) some identifiers consist of more that one token. Sometimes they are separated by exactly one space, sometimes by whitespace (e.g., more spaces). (I will mark space by...