(: haskal meow) boosted
hazel :ms_asleep:

presenting at an event colocated with ICFP before I'm 20 isn't a bad achievement

Show thread
0
(: haskal meow) boosted
hazel :ms_asleep:

"The Scheme and Functional Programming Workshop 2021 (Scheme 2021) program committee is delighted to inform you that your submission [...] has been accepted to appear in the conference."

🎉 🎉 🎉

1+
(: haskal meow) boosted
hazel :ms_asleep:

the Cat laws:
1. meow must meow
2.

Show thread
1+
(: haskal meow) boosted
hazel :ms_asleep: 
class Cat a where
    meow :: a -> IO ()
Show thread
1+
(: haskal meow) boosted
hazel :ms_asleep:

y'know cats

they meow

1+
(: haskal meow)

latex 

[ \Huge{im\, gay} ]

0
(: haskal meow)

re: latex 

it is
larg

Show thread
0
(: haskal meow)

re: latex 

[ \Huge{big text} ]

Show thread
1
(: haskal meow)

re: latex 

[ \huge{big text} ]

Show thread
1
(: haskal meow)

latex 

[ \huge{big text} ]

1
(: haskal meow) boosted
sarahzrf

im gay

0
(: haskal meow)

u____u

latex machine broke

Show thread
0
(: haskal meow)

[ \cos(\theta+\phi)=\cos(\theta)\cos(\phi)−\sin(\theta)\sin(\phi) ]

1
(: haskal meow)

[ meow ]

Show thread
1
(: haskal meow)

wha

it doesn't work

Show thread
1
(: haskal meow)

( meow )

1
(: haskal meow)

beep

0
(: haskal meow) boosted
­jonoodle­

bop it!
twist it!
pull it!
\mathit

0
(: haskal meow)

very none 

gays be like
(unquote (unquote (unquote (unquote (unquote (unquote ...

0
(: haskal meow)

(how are they so tiny,,,,)

Show thread
1
Show older

racket

2

WaterDrinkers There is nothing here!

0

meow There is nothing here!

0
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.

Trending now

Resources

Developers

What is Mastodon?

types.pl

More…