| ▲ | rauljara 2 hours ago | |
Anyone know what language is being used in the blogpost? | ||
| ▲ | nonethewiser an hour ago | parent [-] | |
TLA+ i think | ||
| ▲ | rauljara 2 hours ago | |
Anyone know what language is being used in the blogpost? | ||
| ▲ | nonethewiser an hour ago | parent [-] | |
TLA+ i think | ||