git.iko.soy/tix
on 3de5ffe help sign in
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 62abc7bSubstitutions are now commutativeiko 93c958bRemoved Predicateiko 8a173fdResolved a todoiko 9714010Added recursive binding supportiko f462ff4Handle schema constraintsiko a883443Normalized bindingsiko b71b0ebCommit some testsiko 523d238Bracket lhs functionsiko 39b8aacDropped Data and tracesiko c42b4ecIntroduced TraversableNTypes and added binding context in schemesiko 5b55343Proper type renderingiko 79cbc5aUse predicate contextsiko 67cdd5aminor refactoringiko 1086c08Started using traversals instead of custom foldsiko a81aa0aGot folding workingiko 74e9304Renamed things ;piko 1e93c42Constraints now get passed down properly (?)iko 956a039Started doing predicatesiko 7ce0ed2cleaned up codeiko 5c63c71Added scheme and fixed a bugiko 94d99f2Increased test time limitiko 4dafa06Fixed substitution order erroriko d59bdfbFixed wrong return typeiko 81d54f2Added instantiationiko 06a4889Made tests slightly betteriko 6f0d4f7Updated testsiko