Skip to content

Instantly share code, notes, and snippets.

🌸

Lynn lynn

🌸
Block or report user

Report or block lynn

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@lynn
lynn / freqlist-2019-02.txt
Last active Mar 5, 2019 — forked from uakci/freqlist-2019-02.txt
frequency list for Toaq, with translations
View freqlist-2019-02.txt
da illocution: assertive illocution
ji predicate: ‘me’; ___ is me / the speaker.
bu predicate: ‘not’; ___ is not the case / is false; ___ does not satisfy property ___.
mi predicatizer: ‘those.named’; turns following phrase X into predicate: ___ is/are the one(s) called X.
moq illocution: ‘?’; interrogative illocution
ka illocution: ‘hereby’; performative illocution
bi particle: ‘:’; terminates prenex
rai predicate: ‘something’; ___ is something.
suq predicate: ___ is you / the listener.
sa quantifier: ‘some’; existential quantifier
@lynn
lynn / Turing.hs
Last active Apr 15, 2017 — forked from nandor/Turing.hs
Haskell Turing Machine
View Turing.hs
import Data.Map(Map, fromList, lookup, union)
import Control.Monad(msum)
fromMay d = (!!0) . foldr (:) [d]
mapIns :: (Ord k) => k -> a -> Map k a -> Map k a
mapIns k a = union (fromList [(k, a)])
-- | A TM to add 1 to a binary natural.
incr :: (Int, [Int], [(Int, Int, Char, Char, Int)])
You can’t perform that action at this time.