Bruno Gavranović
Bruno Gavranović
As the title says, in agda-mode I can successfully compile my .agda file and everything seems to work except the fact that I have to copy/paste unicode symbols. In Emacs...
Hey, thanks for the great tool! I'm having some strange troubles when using `tikzcd` package in LaTeX for Hakyll. Namely, using this code: ``` --- title: Test preamble: \usepackage{tikz-cd}\usetikzlibrary{cd} ---...
Hello, after cloning the repo, trying to run the command `python main.py --model_type mlp` and fixing the print command in train.py (it was the python2 version of print) I get...
I'm trying to use this package in my project and I'm not sure how to properly install/import it. The [official documentation](http://docs.idris-lang.org/en/latest/tutorial/packages.html) doesn't mention anything about installation of third party libraries....
When running `idris --install profunctors.ipkg` I get the following error messages: ``` Type checking ./Data/Profunctor.idr ./Data/Profunctor.idr:40:27-51: | 40 | dimap f g (Kleisli h) = Kleisli $ liftA g ....