LingDocs @lingdocs

Language, linguistics, learning. Making language simple, accessible, and understandable for everyone. lingdocs.com Joined September 2020

Tweets

48
Followers

37
Following

51
Likes

23

LingDocs @lingdocs

6 months ago

Curry-Howard Correspondence shower thought of the day: Writing proofs for basic rules of algebra and number theory is like writing functions for the standard library of a language.

0 0 0 32 0

LingDocs @lingdocs

10 months ago

urdu-numbers.lingdocs.com

0 0 1 36 0

LingDocs @lingdocs

a year ago

Almost every single time something breaks in an app and I go digging for the error, I end up with one of these guys. - as - ts-ingore Type checking is life.

0 0 0 73 0

LingDocs @lingdocs

a year ago

This is a great explanation of the continuation monad, especially the section on how we can translate between algabraic data-types and functions. 🤯 haskellforall.com/2012/12/the-co…

0 0 0 70 0

LingDocs @lingdocs

a year ago

This is the best explanation of a use case/motivation for a Reader monad that I could find. Great writeup! @kylecorbelli engineering.dollarshaveclub.com/the-reader-mon…

0 0 0 70 0

LingDocs @lingdocs

a year ago

youtube.com/watch?v=4uKQxV…

0 0 2 61 0

LingDocs @lingdocs

a year ago

The LingDocs Pashto dictionary now has audio recordings of Pashto words. More being added every week! dictionary.lingdocs.com

0 0 1 80 0

Download Image

LingDocs @lingdocs

2 years ago

Pashto is a split-ergative language.

0 0 1 52 0

Download Image

LingDocs @lingdocs

2 years ago

Find me on Mastodon as well 👇 mastodon.social/@lingdocs

0 0 0 42 0

LingDocs @lingdocs

3 years ago

Check out the LingDocs Pashto Dictionary. It includes smart searching, inflections, and even a phrase building engine. dictionary.lingdocs.com

2 0 5 0 4

Download Video

Working on the LingDocs Pashto Grammar and it's getting closer and closer to completion! You can find all kinds of interactive examples and quizzes to help you master all the idiosyncracies of Pashto. grammar.lingdocs.com