Skip to main content

Show HN: Peridot – A functional language based on two-level type theory https://ift.tt/uzcsTpw

Show HN: Peridot – A functional language based on two-level type theory https://ift.tt/3G0nlK4 May 10, 2022 at 03:56PM
Labels:

Comments

Post a Comment

Popular posts from this blog

Show HN: TPMouse - A Virtual Trackball for Windows, controlled from the homerow https://ift.tt/BtjAqD4

Show HN: TPMouse - A Virtual Trackball for Windows, controlled from the homerow Hello all, I apologize for the repost as the previous submission was made from an unfortunate timezone. I've been refining my app to the point that it's pretty much become an indispensable daily driver in my own workflow. Hoping to hear some critiques/feedbacks on its usability! https://ift.tt/p6HvZCc October 24, 2022 at 02:24AM
Post a Comment
Read more