halogenandtoast 2017-02-23 16:56:12
robertkennedy: I have no context but's I'd say llama triceratops.
glguy 2017-02-23 16:56:12
?tell tommd How about this? F3 activates the status bar which only overflows to other lines when necessary, so for small situations it looks like the old UI
lambdabot 2017-02-23 16:56:12
Consider it noted.
glguy 2017-02-23 16:56:25
?tell tommd http://imgur.com/a/TuVW3 (forgot the URL)
lambdabot 2017-02-23 16:56:25
Consider it noted.
robertkennedy 2017-02-23 17:01:04
@halogenandtoast http://lpaste.net/352927
lambdabot 2017-02-23 17:01:04
Unknown command, try @list
halogenandtoast 2017-02-23 17:01:42
robertkennedy: I can never read these kinds of things. Also for some reason I don't get notified if you prefix my name with an @
halogenandtoast 2017-02-23 17:01:47
I guess it isn't the IRC way
glguy 2017-02-23 17:01:59
The @ is for bot commands
robertkennedy 2017-02-23 17:04:47
Here you imagine some command like `example show 3 True == ["3","True"]`
halogenandtoast 2017-02-23 17:05:20
robertkennedy: I'm no expert so take what I say with a grain of salt (or several)
halogenandtoast 2017-02-23 17:05:43
but that seems convoluted to me, and the type signature doesn't give me the warm and fuzzies
halogenandtoast 2017-02-23 17:06:21
but I'm not a big fan of the forall stuff in the first place.
lpaste_ 2017-02-23 17:08:30
glguy revised "for robertkennedy": "fewer foralls" at http://lpaste.net/352927
robertkennedy 2017-02-23 17:09:36
ScopedTypedVariables is how I know to use type level data. Sorry for tbat
jle` 2017-02-23 17:14:23
huh _Just in microlens is a traversal and not a prism
jle` 2017-02-23 17:14:25
neat
jle` 2017-02-23 17:15:02
not neat as in useful but neat as in interesting interpretation
jle` 2017-02-23 17:15:36
but why not offer an actual prism. is profunctors really that bad of a dependency
jle` 2017-02-23 17:15:50
i guess the whole point is to prevent dependency creep
michbad 2017-02-23 17:42:52
Sorry if this is off-topic, but I was wondering if anyone here applied for a Galois internship and heard anything back?
glguy 2017-02-23 17:44:52
I know that there's a team of people working through the resumes. I don't know if they sent out any announcements yet. They waited for the deadline to wrap up before making any decisions and there were quite a few applicants to sort through
