2013-03-03 | Christian Urban |
tuned abacus to turing compilation | file | diff | annotate |
2013-03-02 | Christian Urban |
finished compliations | file | diff | annotate |
2013-03-01 | Christian Urban |
added examples for the rec to abacus compilation | file | diff | annotate |
2013-03-01 | Christian Urban |
tuning | file | diff | annotate |
2013-03-01 | Christian Urban |
corrected scala compiler from recs to abacus | file | diff | annotate |
2013-02-26 | Christian Urban |
syntactic convenience for recursive functions | file | diff | annotate |
2013-02-26 | Christian Urban |
added all recursive functions needed for the UF | file | diff | annotate |
2013-02-26 | Christian Urban |
tuned some files | file | diff | annotate |
2013-02-25 | Christian Urban |
tuned | file | diff | annotate |
2013-02-22 | Christian Urban |
updated Scala files | file | diff | annotate |
2013-02-21 | Christian Urban |
split up scala-file into separate components | file | diff | annotate |