diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-07-30 07:29:11 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-07-30 07:29:11 +0000 |
| commit | 383d829d5a435125a82e39d31e22cded0401e230 (patch) | |
| tree | d32ab1efc0e81510b1f50897b77c21b14be4a895 /src/runtime/java/Makefile | |
| parent | 27da46a79d3d465f5bcdfe8d2ac9d7614273e9ab (diff) | |
the first approximation for a statistical model consistent with dependent types in the abstract syntax
Diffstat (limited to 'src/runtime/java/Makefile')
0 files changed, 0 insertions, 0 deletions