041838a942
* First cut reading JSON into an Agda representation of Luau syntax |
||
---|---|---|
.. | ||
Text | ||
Aeson.agda | ||
Bool.agda | ||
ByteString.agda | ||
Either.agda | ||
HaskellString.agda | ||
Maybe.agda | ||
Scientific.agda | ||
String.agda | ||
Vector.agda |