!NvDqWfJNJvcOnNKuDy:matrix.org

tty

685 Members
3 Servers

Load older messages


SenderMessageTime
18 May 2022
@_discord_184405311681986560:t2bot.ioFredBoat♪♪#7284 Confessions by Tim Minchin will now play.

🆕 You can also view and control the player at https://fredboat.com/music-player/648963701734506497
17:12:36
@_discord_280070900928479253:t2bot.ioGytis Mike Oxlong std::ios::sync_with_stdio(false); 17:24:15
@_discord_280070900928479253:t2bot.ioGytis 17:24:16
@_discord_280070900928479253:t2bot.ioGytisunknown.png
Download unknown.png
17:24:32
@_discord_676087614927011870:t2bot.ioMad Mike Hawks 17:33:38
@_discord_280070900928479253:t2bot.ioGytisunknown.png
Download unknown.png
17:38:31
@_discord_927313571724005457:t2bot.ioctishard
Int
17:55:02
@_discord_69910918519070720:t2bot.ioArc#0269
x :: Type
x = _
17:55:03
@_discord_927313571724005457:t2bot.ioctishard
x = Int
17:55:12
@_discord_927313571724005457:t2bot.ioctishard
x = 5
17:55:22
@_discord_69910918519070720:t2bot.ioArc#0269 x :: Type 17:55:38
@_discord_69910918519070720:t2bot.ioArc#0269 *
x :: Type
x = x
17:55:45
@_discord_69910918519070720:t2bot.ioArc#0269
forever :: Applicative f => f a -> f Type
forever x = x *> forever x
17:57:38
@_discord_69910918519070720:t2bot.ioArc#0269
echo :: IO ()
echo = do
  x <- getLine
  putStrLn x
17:58:47
@_discord_69910918519070720:t2bot.ioArc#0269 main = forever echo 17:58:54
@_discord_69910918519070720:t2bot.ioArc#0269unknown.png
Download unknown.png
18:00:33
@_discord_69910918519070720:t2bot.ioArc#0269 main :: IO Type 18:01:10
@_discord_69910918519070720:t2bot.ioArc#0269
absurd :: forall a. Type -> a
absurd = \case
18:02:17
@_discord_184405311681986560:t2bot.ioFredBoat♪♪#7284 All users have left the voice channel. The player has been paused. 18:22:08
@_discord_69910918519070720:t2bot.ioArc#0269
• Illegal visible, dependent quantification in the type of a term:
     forall b. forall k -> forall (a :: k). k -> b
   (GHC does not yet support this)
18:28:51
@_discord_69910918519070720:t2bot.ioArc#0269 jjorjja 18:35:31
@_discord_956670999057793024:t2bot.ioKevin's cum slut giorgia 18:35:37
@_discord_956670999057793024:t2bot.ioKevin's cum slut shut 18:35:42
@_discord_175665598443945985:t2bot.ioMan Pole ᓚᘏᗢ georgia 18:35:49
@_discord_175665598443945985:t2bot.ioMan Pole ᓚᘏᗢ 😉 18:35:50
@_discord_956670999057793024:t2bot.ioKevin's cum slut punches and screams 18:35:55
@_discord_956670999057793024:t2bot.ioKevin's cum slut bye bye ladies see yall later 19:21:13
@_discord_69910918519070720:t2bot.ioArc#0269unknown.png
Download unknown.png
19:58:07
@californiatoke:matrix.orgcaliforniatoke joined the room.20:45:35
@_discord_696634651875213322:t2bot.ioOsKaR31415#2355 This makes me think of the interesting "paper algorithmics notation" : http://canonical.org/~kragen/sw/dev3/paperalgo#addtoc_1 21:55:32

There are no newer messages yet.


Back to Room List