Jump to content

User:Zyansheep

From Wikipedia, the free encyclopedia

Hello, I am Zyansheep, resident of the Internet.

Interests

[edit]

Projects

[edit]

I am currently working on a project[1] to build a decentralized internet as well as my own Dependently-typed programming language[2].

  1. ^ "Dither". GitHub. Retrieved 2022-04-18.
  2. ^ Disp, libdither, 2022-02-04, retrieved 2022-04-18