Technology

Share Community
Report Community
8
A dependently typed language for proofs that you can implement in one day

A dependently typed language for proofs that you can implement in one day

3 years ago
Anonymous $dRhNkMsRKr

https://github.com/caotic123/PomPom-Language

8
Newest Oldest
noreasongiven
Associated IPs
86
Last Seen
about an hour ago
Reputation
0
Spam
0.000
munch.makuchi
munch.makuchi
Associated IPs
86
Last Seen
2 hours ago
Reputation
0
Spam
0.000
yama4mana
Associated IPs
86
Last Seen
about an hour ago
Reputation
0
Spam
0.000
mindlesgames
Associated IPs
86
Last Seen
about an hour ago
Reputation
0
Spam
0.000
chadmaster
chadmaster
Associated IPs
86
Last Seen
51 minutes ago
Reputation
0
Spam
0.000
miltonfriman
miltonfriman
Associated IPs
87
Last Seen
38 minutes ago
Reputation
0
Spam
0.000
bigbad8
Associated IPs
86
Last Seen
34 minutes ago
Reputation
0
Spam
0.000
bigie
Associated IPs
86
Last Seen
7 minutes ago
Reputation
0
Spam
0.000
Load more voters