Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 23, 2018

• Fixed foldr1 exception by removing it (?)

  bugarela

  committed
  bf5d1b0

  Copy full SHA for bf5d1b0

• Fixes on Parser and more examples

  bugarela

  committed
  9487dfd

  Copy full SHA for 9487dfd

Commits on Apr 19, 2018

• Some parser errors fixed and examples added/organized

  bugarela

  committed
  516cb68

  Copy full SHA for 516cb68

Commits on Apr 16, 2018

• e1 is working

  bugarela

  committed
  7e985f9

  Copy full SHA for 7e985f9

Commits on Apr 14, 2018

• Not working but a little prettier. Also Literals are no longer a thing.

  bugarela

  committed
  7cc23b6

  Copy full SHA for 7cc23b6

Commits on Apr 7, 2018

• Fixing some problems and organizing examples

  bugarela

  committed
  5f47fe1

  Copy full SHA for 5f47fe1

Commits on Apr 5, 2018

• Some fixes

  bugarela

  committed
  e52c7d1

  Copy full SHA for e52c7d1

Commits on Apr 3, 2018

• if implemented, totally forgot about it

  bugarela

  committed
  9742718

  Copy full SHA for 9742718

Commits on Apr 1, 2018

• Tuples working and looking good

  bugarela

  committed
  f86611f

  Copy full SHA for f86611f

Commits on Mar 31, 2018

• Allow multiple entries on input.txt

  bugarela

  committed
  0cc97a5

  Copy full SHA for 0cc97a5

• Context representation is better, and I'm trying to add tuples

  bugarela

  committed
  6de183e

  Copy full SHA for 6de183e

Commits on Mar 29, 2018

• Parser is a little better

  bugarela

  committed
  463de9e

  Copy full SHA for 463de9e

Commits on Mar 25, 2018

• Almost ready!

  bugarela

  committed
  b077ebe

  Copy full SHA for b077ebe

• Parsing GADTs

  bugarela

  committed
  19a1c25

  Copy full SHA for 19a1c25

Commits on Mar 24, 2018

• So much stuff, I don't even know what to think

  bugarela

  committed
  c7542c0

  Copy full SHA for c7542c0

Commits on Mar 22, 2018

• Unification dont touch untouchables anymore

  bugarela

  committed
  4f02dc7

  Copy full SHA for 4f02dc7

Commits on Mar 17, 2018

• Let and LetA

  bugarela

  committed
  6694bca

  Copy full SHA for 6694bca

Commits on Mar 11, 2018

• Case seems to be working

  bugarela

  committed
  a95038f

  Copy full SHA for a95038f

Commits on Mar 9, 2018

• Structure changes, nothing working

  bugarela

  committed
  9bca522

  Copy full SHA for 9bca522

Commits on Feb 6, 2018

• typo

  bugarela

  committed
  bf4110c

  Copy full SHA for bf4110c

Commits on Feb 5, 2018

• Simple constraints done

  bugarela

  committed
  52a5895

  Copy full SHA for 52a5895

• :tada: Added .gitattributes

  bugarela

  committed
  e608491

  Copy full SHA for e608491