Cass Alexandru

icon indicating a website link https://cxandru.ee/

icon company RPTU Kaiserslautern-Laundau icon location Kaiserslautern icon location FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala

Results 2 issues of Cass Alexandru

Link $aux_dir back from `latexmkrc` to auctex

Auctex is unaware of the `$aux_dir` I specified in my `latexmkrc`, which means the "go to error" command doesn't work because it can't find the log file. Could this option...

`!-unique₂` takes implicit args in `Terminal`, whereas it takes explicit ones in `Initial`

1 comment

In `Terminal`, `!-unique₂ : ∀ {A} {f g : A ⇒ ⊤} → f ≈ g` takes `f`, `g` as implicit arguments, whereas in `Initial`, the arguments to the same...