About me Hey 🌸 I'm Shikanime Deva, I like to build correct by construction software λ and contribute to the civilization of the human species. And some other days, I'm lazy... I think.