Eloi Torrents

I just realized that removing `(elpy-mode 1)` from my config does what I want. I don't understand why this caused the error message.

Thank you! I use sxmo and plasma-mobile. I have also used phosh in the past.

https://github.com/cask/cask/blob/master/Makefile#L30 I thought it needed compilation.

Okay, thanks. I didn't know.

This error also appears when running `leanproject get leanprover-community/tutorials`. Maybe the repo https://github.com/leanprover-community/tutorials has some problem... Using `leanproject get mmasdeu/topologygame` everything works as expected. After following the steps mentioned above,...

Should I rename this package to `pyhon3-mathlibtools`?

I'm also interested in this feature

this will allow to use oasis in the pinephone

My configuration is written in lua and I didn't know where to place this. After reading https://neovim.io/doc/user/filetype.html I placed this in ~/.config/nvim/ftdetect/ It works well, but I wonder why "agda"...

I think it could also be useful to be able to setup an alarm that repeats in 8h or 12h intervals, for medicines.