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
bigie
Associated IPs
86
Last Seen
45 minutes ago
Reputation
0
Spam
0.000
bigbad8
Associated IPs
86
Last Seen
25 minutes ago
Reputation
0
Spam
0.000
miltonfriman
miltonfriman
Associated IPs
87
Last Seen
29 minutes ago
Reputation
0
Spam
0.000
chadmaster
chadmaster
Associated IPs
86
Last Seen
42 minutes ago
Reputation
0
Spam
0.000
mindlesgames
Associated IPs
86
Last Seen
54 minutes ago
Reputation
0
Spam
0.000
yama4mana
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
noreasongiven
Associated IPs
86
Last Seen
about an hour ago
Reputation
0
Spam
0.000
Load more voters