Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 13, 2017

• Update README.md

  

  Eugene Akentev

  authored
  3f24a31

  Copy full SHA for 3f24a31

• Add natelim for lambdapi.

  

  Eugene Akentev

  committed
  d245d3d

  Copy full SHA for d245d3d

Commits on Aug 10, 2017

• Add test for lambda pi and fixes

  

  Eugene Akentev

  committed
  e67db8b

  Copy full SHA for e67db8b

Commits on Aug 9, 2017

• Add simple lambda pi with universes.

  

  Eugene Akentev

  committed
  0ca8b65

  Copy full SHA for 0ca8b65

Commits on Jun 29, 2017

• Add pairs tests for systemfomega.

  

  Eugene Akentyev

  committed
  bc77a76

  Copy full SHA for bc77a76

• Add system f omega

  

  Eugene Akentyev

  committed
  4825788

  Copy full SHA for 4825788

Commits on Jun 27, 2017

• Add tests for system f.

  

  Eugene Akentyev

  committed
  230ea9d

  Copy full SHA for 230ea9d

Commits on Jun 25, 2017

• Add tests for stlchkt.

  

  Eugene Akentyev

  committed
  ed87214

  Copy full SHA for ed87214

Commits on Jun 24, 2017

• Add tests for stlc.

  

  Eugene Akentyev

  committed
  0b1119e

  Copy full SHA for 0b1119e

• Add tests for untyped.

  

  Eugene Akentyev

  committed
  8bace2a

  Copy full SHA for 8bace2a

Commits on Jun 23, 2017

• Fix link

  

  Eugene Akentyev

  committed
  e8fcbd7

  Copy full SHA for e8fcbd7

• Edit readme

  

  Eugene Akentyev

  committed
  c224180

  Copy full SHA for c224180

• Add system f

  

  Eugene Akentyev

  committed
  a9e98ea

  Copy full SHA for a9e98ea

Commits on Jun 22, 2017

• Add check that the type of argument is kind on the type level

  

  Eugene Akentyev

  committed
  17d844e

  Copy full SHA for 17d844e

• Add STLC with higher-kinded type operators.

  

  Eugene Akentyev

  committed
  9b346de

  Copy full SHA for 9b346de

Commits on Jun 21, 2017

• fix name

  

  Eugene Akentyev

  committed
  04e7c8a

  Copy full SHA for 04e7c8a

Commits on Jun 18, 2017

• Add ugly type checking, nats, and evaluation step of if.

  

  Eugene Akentyev

  committed
  9796f9a

  Copy full SHA for 9796f9a

Commits on Jun 17, 2017

• First steps with STLC

  

  Eugene Akentyev

  committed
  511e026

  Copy full SHA for 511e026

Commits on Jun 16, 2017

• Move to Haskell.

  

  Eugene Akentyev

  committed
  d9ecf37

  Copy full SHA for d9ecf37

Commits on May 28, 2017

• Add syntax of STLC

  

  Eugene Akentyev

  committed
  dec713e

  Copy full SHA for dec713e

Commits on May 26, 2017

• Add eval and examples for untyped

  

  Eugene Akentyev

  committed
  f1ebb76

  Copy full SHA for f1ebb76

Commits on May 23, 2017

• init

  

  Eugene Akentyev

  committed
  f3f28b0

  Copy full SHA for f3f28b0