Date: 2010-03-24 02:46 am (UTC)
From: [identity profile] thedeemon.livejournal.com
1. Coq генерит код на OCaml
2. OCaml запускается на JVM (http://ocamljava.x9c.fr/)
3. Profit!
(will be screened)
(will be screened if not validated)
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org

 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

wizzard: (Default)
wizzard

January 2019

S M T W T F S
  12 345
6789101112
1314 1516171819
202122 23242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 9th, 2025 01:20 pm
Powered by Dreamwidth Studios