[aidenn0]

Did you read the TFA? It linked to the cosmos implementation, along with the information that it was implemented in cosmos.

Here's one file from it:

https://github.com/mcsoto/cosmos/blob/master/src/cosmos.cosm...