git.iko.soy/rowtype-yoga/purescript-native
on ec2c5ea help sign in
ec2c5eaUpdate README.mdPhil Freeman 73f4321Update release.mdPhil Freeman 3b51d11Update release.mdPhil Freeman a890733Update README.mdPhil Freeman e7be1baUpdate release.mdPhil Freeman 6dcdf9dUpdate release.mdPhil Freeman cac2b81Update release.mdPhil Freeman 22409b6Update release.mdPhil Freeman 03f3cf2Bump versionPhil Freeman 7369945Update release.mdPhil Freeman e2c8973Update release.mdPhil Freeman 0150002Update release.mdPhil Freeman 70bc922Update README.mdPhil Freeman c8778d3Create release.mdPhil Freeman 7551a6eSplit up ArrayBinder into ArrayBinder and ConsBinderPhil Freeman 5ff260bAllow method calls and other expressions evaluating to {} in statementsPhil Freeman 67df3cdAllow : and . in operator namesPhil Freeman aa13d6dUse braces for blocks, instead of the do keywordPhil Freeman f745cd9Update README.mdPhil Freeman b8e53c6Fix opStart lexerPhil Freeman d1c3c08Fix a bunch of -Wall warningsPhil Freeman 6fa5829Fix warnings introduced by -WallPhil Freeman 38e324aUse dot for module name separator, not a colonPhil Freeman 93c5248Bump versionPhil Freeman 96edff2Name resolution up the module hierarchy, allowing names in the global module to be referenced.Phil Freeman 3eec9f0Avoid reassigning vars when importing a modulePhil Freeman e580678Use Environment to store types of local variables.Phil Freeman 1e88986Use .purs file extensionPhil Freeman 63c158aUpdate README.mdPhil Freeman a21661dFix type generalizer bugPhil Freeman 8142e17Tidier implementation of forall instantiationPhil Freeman 939f826Polymorphic object updatePhil Freeman 33268aeBump version to 0.1.11Phil Freeman 7e3515cFix pattern matching for rank 2 constructors, and add an examplePhil Freeman ce885efPrevent skolem variables from escapingPhil Freeman d6a694dCapture avoiding substitution during skolemizationPhil Freeman 38c685dFix name shadowing issue in bindingsPhil Freeman d3c5372Another testPhil Freeman 974621eMaybe monadPhil Freeman 674d94dPolytypes in record fields, another examplePhil Freeman d9e64f0More tests for RankNTypes, adding polytypes to type synonyms and data declarationPhil Freeman 90503c5Another test, and a TODOPhil Freeman 50cf905General tidying, better approach to recursive functions with a top-level quantifierPhil Freeman 07d727cTest cases pass againPhil Freeman cbf70e7Better error messages during unificationPhil Freeman 558cd4eMore bug fixesPhil Freeman 1883dd4Remove tracePhil Freeman cfac1b7Better error messagesPhil Freeman 1e6bac6Fix type synonyms when checkingPhil Freeman b3b0317More work on RankNTypesPhil Freeman