The Little Typer – The Beauty of Dependent Type Systems, One Step at a Time

  • :)
  • :trolljak:
  • :yb:
  • :thumbsupsoyjak
  • :meds:
  • :cigar:
  • :soy4:
  • :babysoyjak:
  • :blacksoyjak:
  • :wepa:
  • :devioussoyjak:
  • :closedeyedsoyjak
  • :neutralsoyjak:
  • :songus:
  • :soy3:
  • :soyddit:
  • :itsover:
  • :tunes:
  • :jfl:
  • :wat:
  • :shrek:
  • :soy:
  • :sand:
  • :bateman:
  • :real:
  • :peat:
  • :qrn:
  • :feelsuhh:
  • :macaco:
  • :ohreally:
  • :rnc2:
  • :soy2:
  • ;)
  • :(
  • :mad:
  • :confused:
  • :cool:
  • :p
  • :D
  • :eek:
  • :oops:
  • :rolleyes:
  • o_O
  • :cautious:
  • :censored:
  • :cry:
  • :love:
  • :LOL:
  • :ROFLMAO:
  • :sick:
  • :sleep:
  • :sneaky:
  • (y)
  • (n)
  • :unsure:
  • :whistle:
  • :coffee:
  • :giggle:
  • :alien:
  • :devilish:
  • :geek:
  • :poop:
  • :ninja:

Similar threads

Hacker News
The Little Typer (2018)
Replies
0
Views
41
Hacker News
Hacker News
Hacker News
Study: Cats in little crocheted hats shed light on feline chronic pain
Replies
0
Views
42
Hacker News
Hacker News
Hacker News
Researchers seeing little evidence of benefit from co pilots
Replies
0
Views
51
Hacker News
Hacker News
Hacker News
A Little History of the Anchovy
Replies
0
Views
51
Hacker News
Hacker News
Hacker News
Grounding AI in reality with a little help from Data Commons
Replies
0
Views
54
Hacker News
Hacker News

Users who are viewing this thread

Total: 2 (members: 0, guests: 2)
Top