nmattia 2017-02-07 00:01:24
barrucadu: do you have examples of people using deja-fu for File I/O?
erisco 2017-02-07 00:13:50
jle`, what other kinds are interesting other than Nat? of course you could have integers and rationals and so on, but what else other than numbers?
erisco 2017-02-07 00:14:55
so many things can be built from Nat it is rather remarkable
ij 2017-02-07 00:29:04
Say you've a complex function of a sum type to another type. Would it be possible to prove that a value obtained by applying a non-bottom sum type to a pattern matching function is non-bottom?
opqdonut 2017-02-07 00:35:39
ij: sure, just go through the cases
reactormonk 2017-02-07 00:36:09
How do I ask the question "does this .cabal file somehow transitively depend on X?"?
opqdonut 2017-02-07 00:44:27
reactormonk: I think "cabal freeze" tells you that
reactormonk 2017-02-07 00:44:58
opqdonut, do I have to pass it additional flags?
