Jaye Marshall jmars

Pinned Loading

1. 1

   -----BEGIN PGP PUBLIC KEY BLOCK-----

   2

   Comment: This is a revocation certificate

   4

   wngEIBYKACoFggAAAAAJkDRLf0lyES/mAp0AFiEEdsFw0J8D05Cc8lCSNEt/

   5

   SXIRL+YAAIiaAQDlQofYeqjzp/bMHJoIQd96i2GrGtjE6jZs8JFFeLPNxgEA

2. A metacircular javascript engine

   TypeScript 1

4. Dependently Typed Extensible Records with Prototypal Inheritance

   Idris 9

5. Shen Luajit Implementation

   Lua 9 2