Comentr
$2EP5QzpVgc
log in
sign up
Technology
Join this community
Share Community
Report Community
8
Report
A dependently typed language for proofs that you can implement in one day
3 years ago
Anonymous
$dRhNkMsRKr
https://github.com/caotic123/PomPom-Language
×
Save changes
Cancel
0
Comments
8
Voters
×
Comment
Comment Anonymously
0
Sorted By
Most Downvoted
Score
Confidence
Controversy
Best Rated
Worst Rated
Newest
Oldest
Most Upvoted
Most Downvoted
80
Per Page
80
160
240
×
Reply
Reply Anonymously
Cancel
×
Save changes
Cancel
