Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 5, 2018

• Post fixed types

  adamAndMath

  committed
  772af18

  Copy full SHA for 772af18

Commits on Apr 28, 2018

• Implemented and integrated properties and implementations of properties

  adamAndMath

  committed
  5083d04

  Copy full SHA for 5083d04

Commits on Apr 25, 2018

• Removed unused functionality of environments

  adamAndMath

  committed
  3d66bcf

  Copy full SHA for 3d66bcf

• Fixed type check problem with generic types

  adamAndMath

  committed
  d668749

  Copy full SHA for d668749

• Removed depending from elements

  adamAndMath

  committed
  a10c19b

  Copy full SHA for a10c19b

• Environments now return optionals and allow filtering and auto casting

  adamAndMath

  committed
  dd76887

  Copy full SHA for dd76887

Commits on Apr 23, 2018

• Made environments immutable

  adamAndMath

  committed
  3b17e08

  Copy full SHA for 3b17e08

Commits on Apr 22, 2018

• Finally renamed work to prove and introduced ide keyword

  adamAndMath

  committed
  016e509

  Copy full SHA for 016e509

• Added interfaces to extend substitutions and wrapping

  adamAndMath

  committed
  2e7d12f

  Copy full SHA for 2e7d12f

• Rough implementation of polymorphism

  adamAndMath

  committed
  f93fcaa

  Copy full SHA for f93fcaa

Commits on Apr 21, 2018

• Imports no longer have any influence over others

  adamAndMath

  committed
  d391793

  Copy full SHA for d391793

• Localized all paths including imports

  adamAndMath

  committed
  e7f5775

  Copy full SHA for e7f5775

Commits on Apr 19, 2018

• Improved names of proofs.

  Show description for b536ad1
  adamAndMath

  committed
  b536ad1

  Copy full SHA for b536ad1

• Added correctness check of identities

  adamAndMath

  committed
  57fdeef

  Copy full SHA for 57fdeef

Commits on Apr 18, 2018

• Introduced options in arguments

  adamAndMath

  committed
  7110da4

  Copy full SHA for 7110da4

Commits on Apr 9, 2018

• External layout file

  adamAndMath

  committed
  87f41a8

  Copy full SHA for 87f41a8

• Implemented inference of bound variables

  adamAndMath

  committed
  311e3c9

  Copy full SHA for 311e3c9

Commits on Apr 1, 2018

• Fully integrated higher order functions

  adamAndMath

  committed
  94d5dac

  Copy full SHA for 94d5dac

Commits on Mar 27, 2018

• Added wrapping and unwrapping of objects and functions

  adamAndMath

  committed
  d14494d

  Copy full SHA for d14494d

Commits on Mar 26, 2018

• Added parsing and construction of functions

  adamAndMath

  committed
  6efa064

  Copy full SHA for 6efa064

• Made [0->1] implicit and added ~ prefix representing [1->0]

  adamAndMath

  committed
  cf0b6ef

  Copy full SHA for cf0b6ef

Commits on Mar 21, 2018

• Added imports and usings to dependencies

  adamAndMath

  committed
  45459d3

  Copy full SHA for 45459d3

Commits on Mar 20, 2018

• Added step keyword to invoke inductive step

  adamAndMath

  committed
  2a20398

  Copy full SHA for 2a20398

• Added objects to function like constants

  adamAndMath

  committed
  07728e0

  Copy full SHA for 07728e0

Commits on Mar 18, 2018

• Added Type definitions

  adamAndMath

  committed
  399e42e

  Copy full SHA for 399e42e

Commits on Mar 8, 2018

• Lots of bug fixes

  adamAndMath

  committed
  7c1c3fb

  Copy full SHA for 7c1c3fb

Commits on Mar 6, 2018

• Implemented Latex writer

  adamAndMath

  committed
  082c47f

  Copy full SHA for 082c47f

Commits on Mar 5, 2018

• Running yet buggy

  adamAndMath

  committed
  138edc4

  Copy full SHA for 138edc4

Commits on Feb 22, 2018

• Merge branch 'master' of https://github.com/adamAndMath/AlgebraicManipulatorScala

  adamAndMath

  committed
  c11a689

  Copy full SHA for c11a689

• Initial commit

  adamAndMath

  authored
  2cd1b66

  Copy full SHA for 2cd1b66

• Initial commit

  adamAndMath

  committed
  3387dbe

  Copy full SHA for 3387dbe