git.iko.soy/tix
on docs_latest help sign in
7bf4829Minor fixesdocs_latestiko 6a4adc6Updated presiko ddef3a9More minor typosiko be81c19typosiko 087b85fAdded thingsiko 72fbe14Added some builtin typesiko 544a036Removed some parensiko 6a0233fEmpty lists are now betteriko 6f98ed4Added more sectionsiko 0959fb4More typosiko 9d84839Restructured a bitiko f6b7f63Fixed typosiko 9d59ef5Slightly more sane formattingiko 4694f38I think i'm done with the paperiko 6ca73ebAdded some implementation funny factsiko a3696ddFinished type systemiko 32f92cbstatic atomic typesiko f08eba9Merge paths, uris and stringsiko e8cb401Added basic typing rulesiko e39071bReorganized thingsiko ad33551Expanded "Making predicates more user-friendly"iko 880a214Smaller depsiko f3563b8Switched to IEEEiko c1f83e1Added more things to paperiko e3f7ddfUpdate build_docs.yamliko 9f2735eBetter operator processingiko 3de5ffeInt an Float are now both just Numberiko bcc2cd7wip paperiko 69a049fadded optional field predicates. closed #3. Fix nested field accessing.iko b4a3f93Better numbered greeksiko 966ba07Added variadic attribute setsiko 252bca2Added link to source code to pres_2iko 05091d7Added pres2iko 286a944Updated thingsiko 8c9de29Added code to paperiko 20c94fbUpdated tech speciko 08e40eaBetter formatting and englishiko 5d5ba1aAdded more things to the paperiko 40b3161Removed cache from githubiko d3b48aause nixpkgs from nixosiko 9768f61use nixpkgsiko d49388eAdded quotes to maybe fix linux buildiko 8cda13cStarted writing paperiko 370575aCI Fixesiko a293118Updated some minor thingsiko cf88ceaAdded docsiko 33ad45dAdded Env effect and added support for withiko e6bdd7eMade VariableMap be a reader. Added SubTypeVariables. HasField field types now close over at the same level as the set itself (!).iko 87b4ffcGreatly simplified (delayed) substitutions.iko d40c073Simplified fresh variablesiko