6b0694aadded paperiko2 months ago 7bf4829Minor fixesdocs_latestiko5 years ago 6a4adc6Updated presiko5 years ago ddef3a9More minor typosiko5 years ago be81c19typosiko5 years ago 087b85fAdded thingsiko5 years ago 72fbe14Added some builtin typesiko5 years ago 544a036Removed some parensiko5 years ago 6a0233fEmpty lists are now betteriko5 years ago 6f98ed4Added more sectionsiko5 years ago 0959fb4More typosiko5 years ago 9d84839Restructured a bitiko5 years ago f6b7f63Fixed typosiko5 years ago 9d59ef5Slightly more sane formattingiko5 years ago 4694f38I think i'm done with the paperiko5 years ago 6ca73ebAdded some implementation funny factsiko5 years ago a3696ddFinished type systemiko5 years ago 32f92cbstatic atomic typesiko5 years ago f08eba9Merge paths, uris and stringsiko5 years ago e8cb401Added basic typing rulesiko5 years ago e39071bReorganized thingsiko5 years ago ad33551Expanded "Making predicates more user-friendly"iko5 years ago 880a214Smaller depsiko5 years ago f3563b8Switched to IEEEiko5 years ago c1f83e1Added more things to paperiko5 years ago e3f7ddfUpdate build_docs.yamliko5 years ago 9f2735eBetter operator processingiko5 years ago