Bookmarks
Subscriptions
Weekly Selections
Search
English
中文
Sign in
A dependently typed language for proofs that you can implement in one day
#HackerNews
#github
0
0
Tagging
Share to twitter
Share to telegram
hackershare
·
Similar Bookmarks
Show HN: HRConvert2 v2.7 Released
Base 2048
Show HN: Insightful eye-candy for your GitHub repo with Repobeats
Show HN: The Cloud Cost Handbook
Show HN: Enable element transformation between containers
Robotics 501: Mathematics for Robotics
Show HN: AV1 and WebRTC
Show HN: Nimiq Identicons – Cutely generated cartoon identicons
Snaprecovery: Recover old Snaps that have “disappeared” from Snapchat
No Us Without You: elifdef and elifndef
Comments
Empty data
Comment
User's Profile
@hackershare
Follow