Greg Pfeil
Greg Pfeil
Oh, and I think the internal config should probably be in `$XDG_CACHE_HOME`, since that looks like it can be regenerated if needed. It’s not really a config file.
So, the root cause of this seems to be [a bug in JGit](https://bugs.eclipse.org/bugs/show_bug.cgi?id=477475) with [an unmerged “PR”](https://git.eclipse.org/r/#/c/67873/). Which is used by sbt/sbt-git, which is used by sbt/sbt-ghpages, which is used...
@raulraja Maaaaaaaybe … I’m not sure if I’m setting that correctly. I tried ```scala SbtGit.GitKeys.gitRunner := sbtgit.ConsoleGitRunner ``` both at the top level of my build.sbt, and also in my...
You can trampoline the `hylo` by using `hyloM[Eval]`, with `Eval.delay` in your algebra & coalgebra. As an aside, there doesn’t seem to be a link to the site from the...
@chenharryhua You can’t do it with `cataM`, only with `hyloM`. This is because `cataM` necessarily uses `Monad.pure` to traverse out to the leaves of the structure, and `pure` for `Trampoline`...
Yeah, our codebase is far from compliant. We’ll need to add the import one file at a time.
Thanks for that paper. I’ve done some work in IFC, and have had it in the back of my mind to consider how it can be integrated with dependent types....
I just pushed my current idea of the `Security` monad on its own branch: https://github.com/idris-hackers/idris-crypto/blob/Security-monad/src/Data/Crypto/Security.idr Very open to suggestion.
I get that same error message on OS X. Apologies. I’ll dig into it tomorrow.
Ah, it’s the old “bound as an implicit” error.