search

endojs / Jessie

Tiny subset of JavaScript for ocap-safe universal mobile code
Apache License 2.0
281 stars 16 forks source link

TinySES on EVM via idris #2

Closed dckc closed 5 years ago

dckc commented 6 years ago

I'm interested to give this a try.

idris parser library: https://github.com/ziman/lightyear

erights commented 6 years ago

Why idris? Any connection between idris and evm?

dckc commented 6 years ago

The default evm language looks too hard to get right.

https://github.com/vindaloo-thesis/idris-se

On Mon, Jun 11, 2018, 11:21 AM Mark S. Miller notifications@github.com wrote:

Why idris? Any connection between idris and evm?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/Agoric/TinySES/issues/2#issuecomment-396282038, or mute the thread https://github.com/notifications/unsubscribe-auth/AAJNynAcVgqn86mK-uc5iHkDoNJjSqYxks5t7osCgaJpZM4UgI9o .