?

Log in

No account? Create an account
Playing around with the agda javascript backend, now. Like, my ears… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Apr. 14th, 2016|08:07 am]
Jason
[Tags|, , ]

Playing around with the agda javascript backend, now. Like, my ears are popping from the sudden change of type-theory-pressure.
LinkReply

Comments:
[User Picture]From: clayrat
2016-04-20 01:47 pm (UTC)
have you tried Idris' js backend?
(Reply) (Thread)