slack1256 2017-02-21 17:55:00
anybody set up intero on nixos?
Koterpillar 2017-02-21 18:15:12
threshold: I suggest you review the 'do' syntax
Koterpillar 2017-02-21 18:15:33
threshold: in particular, what the "let" and "<-" mean
threshold 2017-02-21 18:17:28
Koterpillar: I don't understand what is wrong wit the way they were used
jle` 2017-02-21 18:39:41
it doesn't put it there, actually
kadoban 2017-02-21 18:39:47
sshine: It installs it in its own private location that it knows to look.
sshine 2017-02-21 18:39:57
eh...
sshine 2017-02-21 18:40:14
looking at .stack/programs/x86_64-linux/ghc-tinfo6-8.0.2/bin.stack/programs/x86_64-linux/ghc-tinfo6-8.0.2/bin, I *have* 8.0.2. >_<
sshine 2017-02-21 18:40:37
I wonder why my local stack project doesn't recognize that.
sshine 2017-02-21 18:40:47
jle`, ohhh, ok.
centril 2017-02-21 18:40:58
I need to prove the following: minOne :: Sing n -> Maybe ((n :> 0) :~: True) , does anyone have some idea of how to do that?
sshine 2017-02-21 18:40:59
jle`, so that's what it just did. heh.
jle` 2017-02-21 18:41:00
stack build uses a ghc that it caches
centril 2017-02-21 18:41:16
n :: Nat
sshine 2017-02-21 18:41:26
jle`, kadoban: thanks!
jle` 2017-02-21 18:41:27
centril: where is :> from
centril 2017-02-21 18:41:44
jle`: https://hackage.haskell.org/package/singletons-2.2/docs/Data-Singletons-Prelude-Ord.html#t:SOrd
