User Impredicative - Server Fault

1. Home
2. Questions
3. Tags
5. Users
6. Jobs
7. Companies
8. Unanswered
Teams

Ask questions, find answers and collaborate at work with Stack Overflow for Teams.
Try Teams for free Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Impredicative

Member for 11 years, 10 months
Last seen more than 8 years ago

blog.topos.org.uk
Cambridge, United Kingdom

Stats

155

reputation

10k

reached

0

answers

1

question

Communities

Badges

1

gold badge

Famous Question

Oct 20

1

silver badge

Notable Question

Jun 30, 2015

5

bronze badges

Tag Editor

Feb 7, 2013
Scholar

Feb 15, 2013
Student

Feb 6, 2013

Top tags

systemd

0

Score

1

Posts

100

Posts %

arch-linux

0

Score

1

Posts

100

Posts %

lxc

0

Score

1

Posts

100

Posts %

Top posts

5

Running systemd based container in LXC

Feb 6, 2013

Top network posts

View all network posts

27

Scala REPL: How to find function type?

20

String interpolation with triple quotes and multiple lines

20

Haskell equivalent to Scala's groupBy

18

Generate optparse-applicative parser from free alternative functor

15

Haskell equivalent of scala collect