@NobbZ
@NobbZ
@NobbZ
NobbZ created repository dvwiki/dvwiki.github.io
NobbZ commented on issue ignatov/intellij-erlang#676
@NobbZ

Does this even compile when you do it by hand? AFAIK -include wants a symbol, not a filename. telezhnaya notifications@github.com schrieb am Mo., 2…

NobbZ closed issue agda/agda#1631
@NobbZ
provided agda.sty fails with “missing \begin{document}”
NobbZ commented on issue agda/agda#1631
@NobbZ

OK, I just did a tlmgr update --all, now it works with agda.sty as provided. Only thing that differs in the filelist is etoolbox.sty. So it seems a…

NobbZ commented on issue agda/agda#1631
@NobbZ

And just another observation… I haven't considered this before, since @ should be letter in packages by default, but when I surround the previously…

NobbZ commented on issue agda/agda#1631
@NobbZ

Using latexmk does create the exact same error. Both with lualatex and xelatex as engine. Just for the sake of completeness I prepended a \listfiles,…

NobbZ opened issue agda/agda#1631
@NobbZ
provided agda.sty fails with “missing \begin{document}”
NobbZ commented on issue idris-lang/Idris-dev#2534
@NobbZ

Quick way which may destroy your environment: 1. git pull upstream master 2. cabal install --dependencies-only 3. make You might omit step 2 here. S…

NobbZ commented on issue elixir-lang/elixir#3596
@NobbZ

Definitely an interesting read, still I think supporting x <= 0 but not x <= 10 in specs might be confusing for newcommers. Also how should it read?

NobbZ commented on issue elixir-lang/elixir#3596
@NobbZ

Since only three of these can be translated in a way that dialyzer understands them and we restrict it to only X and 0, I think it is simply not wo…

@NobbZ
ipkg branch: Show holes is empty, Add Clause shows error
@NobbZ

I just tried, but failed misserably: deleted old language-idris folder from ~/.atom/packages/language-idris git cloned to ~/.atom/packages/langu…

@NobbZ

Will I get any update notifications when I switch over or do I need to pull regularly then? archaeron notifications@github.com schrieb am Mo., 17.0…

@NobbZ

Is there some workaround to get -p support until 0.3.0 gets released? I try to play around with effects and so this plugin does only provide nice c…

NobbZ commented on issue fishcakez/dialyze#7
@NobbZ

Is it possible that dialyze checks if the versions the runtime and the elixir compiler match and print an error instead of letting the user wait fo…

NobbZ commented on issue exercism/xocaml#24
@NobbZ

Just took a look into the current Makefile, the rule there is already like mine altered one. It seems as if I had an old Makefile lurking around, m…

NobbZ commented on issue exercism/xocaml#24
@NobbZ

Now it works after I modified makefile slightly: I needed to change the invoked command in test.native rule as follows: test.native: *.ml *.mli @co…

NobbZ commented on issue fishcakez/dialyze#7
@NobbZ

iex(1)> Kernel.module_info(:compile) [options: [:debug_info], version: '5.0.4', time: {2015, 7, 13, 13, 35, 29}, source: '/home/vagrant/build-dir_1…

NobbZ commented on issue exercism/xocaml#24
@NobbZ

As I told you, I've tried the example. I took the code from example.ml and pasted it into bob.mli. So the errormessage does see some error there: o…

@NobbZ
Make available via hex.pm
NobbZ opened issue fishcakez/dialyze#7
@NobbZ
How to use it?
NobbZ opened issue exercism/xocaml#24
@NobbZ
Bob example does not compile
NobbZ commented on issue exercism/cli#137
@NobbZ

I just skipped some exercises in various languages and now came to a point where I skipped the last exercise in a track. The cli seems to think tha…

NobbZ commented on pull request exercism/xelixir#51
@NobbZ

Can this one be merged? I just applied patch to zipper by hand, because it can't be used in elixir 1.0.x because of defstruct.

@NobbZ
Make tests skippable