Discover Top Posts Tagged with #agda

Taking it easy with some Cryptmaster doodles from yesterday :]

#cryptmaster #syn cryptmaster #maz cryptmaster #fink cryptmaster #agda #my art #corvidreavenart #well my name is agda yo #shitpost #fanart #digital art

DOUBLE POST!!! YAYY!!! anyways have some.. um.. chagda? I dunno their ship name yet haha..

Stay fresh!

#🍩ljs doodles #art #digital art #ibispaintx #agda #Agatha #ctc #card trios circus-val #oc #my oc #Roblox oc #do I tag charlie..#sure why not #charlie #Charlie Cooper ChuChu #chagda #<- placeholder #🎭#<- means non canonical

i imagine that the people of Tumblr might be interested in this project. zo'o Anyway, i have been working on defining some gender types. Specifically, with this paper, i am trying to use Agda to define a type which can represent every possible gender identity. As of writing this post, #agender, #polygender, #genderfluid, and #maverique identities have been given some specific consideration, so you might be interested if you identify with any of these identities and are sick of being able to say "hey, i'm not represented here". Alternatively, if your identity is even *less* represented, then my paper might still interest you; i welcome new issues and such. But i ask that *excessive* detail is *not* provided; i want the satisfaction of discovering stuff! zo'o i feel a need to clarify that this thirteen-page paper is unfinished. Anyway, the paper is at <https://github.com/andrewchawk/gender-definitions-1>.

#gender #queer stuff #alphabet mafia #agda #type theory #math #mathematics

We're fast approaching a really cool scene in which the gang returns to Dravenfels and finally finds out what happened to Siva :D I have to say that I've been waiting for this scene for a while and I'm soo looking forward to writing it :D

->Agda: "Good question … Which of these was the craziest?"

Agda put on a mocking expression before enumerating: "There's the fact that you were one of the [few people] to see Drachan in thousands of years, you made sure the last pa…" At this point, Tiana interrupted her with a grin: "Nevermind … I'm always getting myself into trouble."

Bo: "That's one way to sum it up."

Flake clacks her beak, as if in agreement.

Bo (laughing): "Even your bird agrees with us…"

Tiana: "Her name is Flake."

Once again, the Fenjali lady clicked in agreement.

Agda: "I'm afraid you don't stand a chance against that, Bo."

Bo: "Seems that way…"

[Short transition (post-it): The sound gets louder More banners appear at regular intervals Almina catches up with them]

Finally, the suburb of Dravenfels, Dravina, came into view and the four riders could not believe their eyes. Almost the entire population of Dravina had gathered at the edge of the streets, especially in the round market square. The citizens appeared to be wearing their best clothes and were holding bouquets of flowers in their hands, some of them claw-like. <-

The Dreaming Fire, Chapter: High Countess of Hansen (wip)