Twelf Experiments

My small toy programs which was written in an attempt to learn the Twelf programming language.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
README.markdown		README.markdown
factorial.elf		factorial.elf
fibonacci.elf		fibonacci.elf
quicksort.elf		quicksort.elf

Provide feedback