Commits

Breadcrumbs

History for

onb92b3a7

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 11, 2021

• updated progress

  vpisarev

  committed
  46edfa5

Commits on Jul 10, 2020

• fixed

  vpisarev

  committed
  32caeaa

• downscaled

  vpisarev

  committed
  2caa985

• plans

  vpisarev

  committed
  fbbef8c

Commits on Jul 8, 2020

• Some big changes:

  Show description for c7a6219
  vpisarev

  committed
  c7a6219

Commits on May 24, 2020

• * a few small changes in Builtins.fx & runtime

  Show description for c93774d
  vpisarev

  committed
  c93774d

Commits on May 11, 2020

• added "elif", removed "in" keywords from the list of highlighted keywords

  vpisarev

  committed
  8268fa7

Commits on Dec 4, 2019

• edited readme and the intro

  vpisarev

  committed
  b03e8f9

Commits on Dec 3, 2019

• * added incomplete k_lift.ml module that should do a complete lambda lifting. The algorithm has been composed "on paper" but was not translated to OCaml yet

  Show description for ec786db
  vpisarev

  committed
  ec786db

Commits on Nov 11, 2019

• * implemented (not very complete) pattern matching, which sort of works. need to test it more and expand to support records

  Show description for e419686
  vpisarev

  committed
  e419686

Commits on Nov 7, 2019

• * advanced with k-normalization quite a bit. 28 out of 37 exp_t cases have been covered (even though 1) the remaining cases are more complex 2) it does not count classes and interfaces, which are n…

  Show description for 42bc76e
  vpisarev

  committed
  42bc76e

Commits on Nov 5, 2019

• * updated 'ficus intro' document.

  Show description for 20d82d1
  vpisarev

  committed
  20d82d1

Commits on Oct 17, 2019

• removed logo

  vpisarev

  committed
  4741212

Commits on Jun 6, 2019

• added ficus logo

  vpisarev

  committed
  7b53e2b

Commits on Jun 5, 2019

• continue working on the new syntax; started to add record types, variants, classes, interfaces etc., that is, the complete syntax for 1.0 or even 1.1

  vpisarev

  committed
  d93a8dd

Commits on Apr 8, 2019

• started working on the type checker

  vpisarev

  committed
  ad5da20

Commits on Mar 28, 2019

• fixed the lexer and the parser to handle '|' ambiguity correctly;

  Show description for ad8b265
  vpisarev

  committed
  ad8b265

Commits on Mar 27, 2019

• updated intro: improved grammar and wording in some places

  vpisarev

  committed
  8be4300

• * the minimal lexer, parser and pretty printer compile and work (more or less)

  Show description for 6819a3c
  vpisarev

  committed
  6819a3c

Commits on Mar 26, 2019

• the very first actual code drop; let's start with very basic crippled language, build the whole compiler pipeline, debug it and then add new features.

  vpisarev

  committed
  10b4934

Loading