Commits

Breadcrumbs

History for

ondev

User selector

All users

All time

Commit history

Commits on Jun 14, 2018

• fix source code links (codeplex -> github)

  

  alexeyraspopov

  authored and

  b-studios

  committed
  8a248a4View commit details

  Copy full SHA for 8a248a4

  View code at this pointBrowse repository at this point

Commits on Feb 3, 2018

• update documentation since locals are now passed as a second argument

  daanx

  committed
  a7ca54cView commit details

  Copy full SHA for a7ca54c

  View code at this pointBrowse repository at this point

Commits on Jul 5, 2017

• Updates to std/num/double

  daanx

  committed
  ec6a135View commit details

  Copy full SHA for ec6a135

  View code at this pointBrowse repository at this point

Commits on May 4, 2017

• Update get started

  daanx

  committed
  c53fd4dView commit details

  Copy full SHA for c53fd4d

  View code at this pointBrowse repository at this point

Commits on Apr 10, 2017

• update documentation

  daanx

  committed
  5721098View commit details

  Copy full SHA for 5721098

  View code at this pointBrowse repository at this point

Commits on Dec 22, 2016

• Update readme references

  daanx

  committed
  fd19746View commit details

  Copy full SHA for fd19746

  View code at this pointBrowse repository at this point

Commits on Dec 16, 2016

• Update documentation and readme

  daanx

  committed
  be2272cView commit details

  Copy full SHA for be2272c

  View code at this pointBrowse repository at this point

• Remove webpaginated

  daanx

  committed
  788d14dView commit details

  Copy full SHA for 788d14d

  View code at this pointBrowse repository at this point

Commits on Dec 13, 2016

• Small fixes

  Show description for 56cf8c8
  

  daan

  committed
  56cf8c8View commit details

  Copy full SHA for 56cf8c8

  View code at this pointBrowse repository at this point

Commits on Dec 12, 2016

• Updates for documentation on github

  Show description for 0c14584
  

  daan

  committed
  0c14584View commit details

  Copy full SHA for 0c14584

  View code at this pointBrowse repository at this point

Commits on Dec 3, 2016

• Improve documentation generation to use full Madoko

  Show description for 57353f5
  

  daan

  committed
  57353f5View commit details

  Copy full SHA for 57353f5

  View code at this pointBrowse repository at this point

Commits on Nov 21, 2016

• Improve documentation generation

  Show description for c172372
  

  daan

  committed
  c172372View commit details

  Copy full SHA for c172372

  View code at this pointBrowse repository at this point

Commits on Oct 12, 2016

• More updates for big integers

  Show description for 0e57749
  

  Daan

  committed
  0e57749View commit details

  Copy full SHA for 0e57749

  View code at this pointBrowse repository at this point

Commits on Aug 18, 2016

• Updates to the koka book

  Show description for bdc3f5a
  

  daan

  committed
  bdc3f5aView commit details

  Copy full SHA for bdc3f5a

  View code at this pointBrowse repository at this point

Commits on Aug 17, 2016

• Update overview to reflect new string api

  Show description for eb8e4e9
  

  Daan

  committed
  eb8e4e9View commit details

  Copy full SHA for eb8e4e9

  View code at this pointBrowse repository at this point

Commits on Aug 16, 2016

• Experiments with polymorphic effects in operations

  Show description for 503cead
  

  daan

  committed
  503ceadView commit details

  Copy full SHA for 503cead

  View code at this pointBrowse repository at this point

Commits on Aug 9, 2016

• Allow dot syntax after function applications (remove fappexpr production)

  Show description for bd5533e
  

  Daan

  committed
  bd5533eView commit details

  Copy full SHA for bd5533e

  View code at this pointBrowse repository at this point

Commits on Aug 8, 2016

• Merge with algeff

  Show description for fb88e07
  

  daan

  committed
  fb88e07View commit details

  Copy full SHA for fb88e07

  View code at this pointBrowse repository at this point

• Updated lexing for operators to be more simple

  Show description for 31409d6
  

  daan

  committed
  31409d6View commit details

  Copy full SHA for 31409d6

  View code at this pointBrowse repository at this point

Commits on Aug 6, 2016

• More improvements to toc display; add anchor links to sections

  Show description for 4f2f809
  

  daan

  committed
  4f2f809View commit details

  Copy full SHA for 4f2f809

  View code at this pointBrowse repository at this point

Commits on Aug 5, 2016

• More fixes to auto expansion of toc

  Show description for cb4d6d6
  

  daan

  committed
  cb4d6d6View commit details

  Copy full SHA for cb4d6d6

  View code at this pointBrowse repository at this point

• Updating webpaginated to have auto toc expansion on scroll

  Show description for 4a538cf
  

  daan

  committed
  4a538cfView commit details

  Copy full SHA for 4a538cf

  View code at this pointBrowse repository at this point

Commits on Jul 4, 2016

• Update docs for the new common demo

  Show description for 4270f5c
  

  daan

  committed
  4270f5cView commit details

  Copy full SHA for 4270f5c

  View code at this pointBrowse repository at this point

Commits on Jun 26, 2016

• More updates to identifier and operator lexical rules

  Show description for 3a9575f
  

  daan

  committed
  3a9575fView commit details

  Copy full SHA for 3a9575f

  View code at this pointBrowse repository at this point

Commits on Jun 25, 2016

• More fixes to documentation

  Show description for a70dbc0
  

  daan

  committed
  a70dbc0View commit details

  Copy full SHA for a70dbc0

  View code at this pointBrowse repository at this point

• Update spec for identifiers

  Show description for 2dd4303
  

  Daan

  committed
  2dd4303View commit details

  Copy full SHA for 2dd4303

  View code at this pointBrowse repository at this point

Commits on Jun 9, 2016

• rewording of fibonacci example

  Show description for 5da48a0
  

  daan

  committed
  5da48a0View commit details

  Copy full SHA for 5da48a0

  View code at this pointBrowse repository at this point

• Initial support for unicode.

  Show description for 4cecfff
  

  Daan

  committed
  4cecfffView commit details

  Copy full SHA for 4cecfff

  View code at this pointBrowse repository at this point

Commits on Jun 8, 2016

• Fix compilation of documentation

  Show description for 70ad20f
  

  daan

  committed
  70ad20fView commit details

  Copy full SHA for 70ad20f

  View code at this pointBrowse repository at this point

• Reintroduce char in the core library; view utf16 encoding as a form of combining characters to increase compat with host platforms.

  Show description for ae75a6f
  

  daan

  committed
  ae75a6fView commit details

  Copy full SHA for ae75a6f

  View code at this pointBrowse repository at this point

• More fixes to refactored core libraries

  Show description for 5e70ff6
  

  Daan

  committed
  5e70ff6View commit details

  Copy full SHA for 5e70ff6

  View code at this pointBrowse repository at this point

• Improve wording in documentation

  Show description for 0a1899a
  

  Daan

  committed
  0a1899aView commit details

  Copy full SHA for 0a1899a

  View code at this pointBrowse repository at this point

Commits on Jun 7, 2016

• More refactoring for new std/core

  Show description for de78f2e
  

  daan

  committed
  de78f2eView commit details

  Copy full SHA for de78f2e

  View code at this pointBrowse repository at this point

• Significant update of core libraries and tests to non-camel-case naming

  Show description for 025acdd
  

  daan

  committed
  025acddView commit details

  Copy full SHA for 025acdd

  View code at this pointBrowse repository at this point

Commits on Jun 5, 2016

• Update algeff tests with new syntax

  Show description for adaa0f3
  

  daan

  committed
  adaa0f3View commit details

  Copy full SHA for adaa0f3

  View code at this pointBrowse repository at this point