Re: [bitc-dev] Solver specification?

[drifting OT question follows]

has anybody tried ATS? just curious.
http://www.ats-lang.org/


thanks.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to