Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 27, 2019

• Ref tokens now store full path too

  VictorTaelin

  committed
  44b1e0d

  Copy full SHA for 44b1e0d

• Fix remote imports on browser

  VictorTaelin

  committed
  3cea470

  Copy full SHA for 3cea470

Commits on Aug 26, 2019

• Rework <> syntax, boxed equality, optimizations and polishments

  Show description for 68f37ba
  VictorTaelin

  committed
  68f37ba

  Copy full SHA for 68f37ba

Commits on Aug 24, 2019

• Fix pointer to package.json

  VictorTaelin

  committed
  e0d5b9a

  Copy full SHA for e0d5b9a

• Change Formality-JavaScript to Formality.js

  VictorTaelin

  committed
  7c11f8a

  Copy full SHA for 7c11f8a

• Add missing letter on link

  VictorTaelin

  committed
  3c87e05

  Copy full SHA for 3c87e05

• Reorganize directories

  VictorTaelin

  committed
  84ce757

  Copy full SHA for 84ce757

• Move fm-net.js to fm-lang

  VictorTaelin

  committed
  9259365

  Copy full SHA for 9259365

Commits on Aug 23, 2019

• Merge branch 'master' of gitlab.com:moonad/Formality-JavaScript

  VictorTaelin

  committed
  f3a8969

  Copy full SHA for f3a8969

• Fix error where an ill-typed term would only throw on its first ocurrence when using 'fm -t file/@'

  VictorTaelin

  committed
  aba9551

  Copy full SHA for aba9551

Commits on Aug 22, 2019

• update nix build to 0.3.85

  johnchandlerburnham

  committed
  f4ed6ab

  Copy full SHA for f4ed6ab

Commits on Aug 21, 2019

• Allow 'then:' as an alternative to ':' on if

  VictorTaelin

  committed
  a198bb2

  Copy full SHA for a198bb2

• Fix motive of case-tree syntax

  Show description for 078e4be
  VictorTaelin

  committed
  078e4be

  Copy full SHA for 078e4be

• Fix motive of case-tree syntax for more than 2 matched args

  VictorTaelin

  committed
  85378e4

  Copy full SHA for 85378e4

• Merge branch 'master' of gitlab.com:moonad/Formality-JavaScript

  VictorTaelin

  committed
  0101ee7

  Copy full SHA for 0101ee7

• Use step(n) on case'd argument motives

  VictorTaelin

  committed
  65e4b67

  Copy full SHA for 65e4b67

• Use step(n) on case'd argument motives

  VictorTaelin

  committed
  299b089

  Copy full SHA for 299b089

• New case-tree syntax, revert parse-infer and @ case-syntax

  Show description for 190327a
  VictorTaelin

  committed
  190327a

  Copy full SHA for 190327a

Commits on Aug 20, 2019

• Terser case syntax, limited infer within parser

  Show description for 6809cc1
  VictorTaelin

  committed
  6809cc1

  Copy full SHA for 6809cc1

Commits on Aug 19, 2019

• Shorten refs by default

  VictorTaelin

  committed
  18fe15c

  Copy full SHA for 18fe15c

• Move note to right section

  VictorTaelin

  committed
  44352ec

  Copy full SHA for 44352ec

• Improve CLI file-not-found error

  VictorTaelin

  committed
  560606b

  Copy full SHA for 560606b

• Re-enable log logging

  VictorTaelin

  committed
  a6c2da4

  Copy full SHA for a6c2da4

• Merge branch 'master' of gitlab.com:moonad/Formality-JavaScript

  VictorTaelin

  committed
  cd2f425

  Copy full SHA for cd2f425

• Rework import system

  Show description for a9ee59c
  VictorTaelin

  committed
  a9ee59c

  Copy full SHA for a9ee59c

• update nix build to 0.3.72

  johnchandlerburnham

  committed
  e740bb7

  Copy full SHA for e740bb7

• update nix build

  johnchandlerburnham

  committed
  bc5fb8a

  Copy full SHA for bc5fb8a

• Undo accidental comment

  VictorTaelin

  committed
  b9bb915

  Copy full SHA for b9bb915

• Merge branch 'master' of gitlab.com:moonad/Formality-JavaScript

  VictorTaelin

  committed
  eb3f1c5

  Copy full SHA for eb3f1c5

• Merge branch 'master' of gitlab.com:moonad/Formality-JavaScript

  VictorTaelin

  committed
  8bb49d2

  Copy full SHA for 8bb49d2

• Merge branch 'master' of gitlab.com:moonad/Formality-JavaScript

  VictorTaelin

  committed
  65a3a1a

  Copy full SHA for 65a3a1a

• Local imports, recursive uploader

  Show description for f3e32ac
  VictorTaelin

  committed
  f3e32ac

  Copy full SHA for f3e32ac

• Local imports, recursive uploader

  Show description for 65fbdd1
  VictorTaelin

  committed
  65fbdd1

  Copy full SHA for 65fbdd1

• No implicit base

  VictorTaelin

  committed
  33dc6d4

  Copy full SHA for 33dc6d4

Commits on Aug 18, 2019

• Optimize bounded recursion, improve strat. checker

  Show description for e13cfc9
  VictorTaelin

  committed
  e13cfc9

  Copy full SHA for e13cfc9

Pagination

Previous

Next