Daniel Herrera Rendón

got it working (using `dante-repl-command-line` on doom emacs): ```elisp (use-package dante :ensure t :after haskell-mode :commands 'dante-mode :init (add-hook 'haskell-mode-hook 'flycheck-mode) (add-hook 'haskell-mode-hook 'company-mode) (add-hook 'haskell-mode-hook 'dante-mode) :config (setq-default dante-repl-command-line...

Hi! First of all, thank you for such lovely caching. It has worked great for our open source project : ) When I do `cachix push telomare` I get an...

I've changed machines, and did a new auth token because I thought I had lost the old one. I did `cachix authtoken ` (as per Push instructions), but still got...

This would be nice.

I would be glad to try and help with this. Any pointers/suggestions? My use of hvm has been as a backend/evaluator of an intermediate representation of another language (https://github.com/Stand-In-Language/stand-in-language). The...

Sadly, still unable to run the examples. I did try to get help on stackoverflow (https://stackoverflow.com/questions/65671417/trouble-running-orc-jit-llvm-hs-examples) and detailed there my approaches a bit more. If you get the examples running,...

Hi! This is my train of thought and some questions along the way: assumptions: in branch ```master``` As I understand it, ```SILParser Term1``` is a parser that, when ran by...

> AST instructions (i.e. import SIL (zero, pair, app, check, pleft, pright, varN, ite, lam, completeLam)) > are values or functions whose last Codomain are of type IExpr ```SILParser Term1```...

Thanks for this issue, @RichardWarfield! I was about to give up. Commit `26c89ec30039445d6b3735cb58fda91b38400375` (i.e. the first commit before `ef67574`) worked like a charm for [my project](https://github.com/hhefesto/servant-backend-playNFT)