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
9 minutes ago
Reputation
0
Spam
0.000
munch.makuchi
munch.makuchi
Associated IPs
86
Last Seen
a few minutes 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
19 minutes ago
Reputation
0
Spam
0.000
chadmaster
chadmaster
Associated IPs
86
Last Seen
about an hour ago
Reputation
0
Spam
0.000
miltonfriman
miltonfriman
Associated IPs
87
Last Seen
48 minutes ago
Reputation
0
Spam
0.000
bigbad8
Associated IPs
86
Last Seen
58 minutes ago
Reputation
0
Spam
0.000
bigie
Associated IPs
86
Last Seen
about an hour ago
Reputation
0
Spam
0.000
Load more voters