Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 8, 2021

• Update README.md

  AndrasKovacs

  authored
  d38b695

• Update README.md

  AndrasKovacs

  authored
  27b777b

Commits on Apr 28, 2021

• some comment trimming

  AndrasKovacs

  committed
  dc5904b

Commits on Feb 27, 2021

• Update README.md

  AndrasKovacs

  authored
  9599e7e

Commits on Feb 21, 2021

• Delete README.md

  AndrasKovacs

  authored
  6e3aa04

Commits on Feb 4, 2021

• super poly start

  AndrasKovacs

  committed
  2e61e82

Commits on Dec 7, 2020

• implicit cumulativity

  AndrasKovacs

  committed
  1c9aa8d

• comments

  AndrasKovacs

  committed
  ad801f2

• add readme

  AndrasKovacs

  committed
  22e9f82

• Add univ-lifts

  AndrasKovacs

  committed
  f7f07ba

Commits on Dec 3, 2020

• parser fixes

  AndrasKovacs

  committed
  2e7270f

Commits on Nov 23, 2020

• var eta expansion seems to work

  AndrasKovacs

  committed
  a523aab

Commits on Nov 22, 2020

• new unification algo

  AndrasKovacs

  committed
  fce1a77

Commits on Nov 18, 2020

• Update README.md

  AndrasKovacs

  authored
  039fc8c

• Update README.md

  AndrasKovacs

  authored
  f6ec711

Commits on Nov 16, 2020

• sigma notes

  AndrasKovacs

  committed
  5670d91

Commits on Nov 13, 2020

• Update README.md

  AndrasKovacs

  authored
  bd2bdc7

• stuff

  AndrasKovacs

  committed
  7442a45

Commits on Nov 12, 2020

• meta eta expansions

  AndrasKovacs

  committed
  8fcbefd

• sigma unification start

  AndrasKovacs

  committed
  3bbe1e2

Commits on Nov 11, 2020

• Update README.md

  AndrasKovacs

  authored
  3527a4e

• Update README.md

  AndrasKovacs

  authored
  03da676

• Update README.md

  AndrasKovacs

  authored
  45d5377

• update 04 examples

  AndrasKovacs

  committed
  32723c8

• Update README.md

  AndrasKovacs

  authored
  5a19e89

• more examples in implicit-args

  AndrasKovacs

  committed
  3483a80

Commits on Nov 3, 2020

• typo

  AndrasKovacs

  committed
  da20abe

• remove Dbg-s

  AndrasKovacs

  committed
  5c2870f

• Update Main.hs

  AndrasKovacs

  authored
  c1807dd

• Update README.md

  AndrasKovacs

  authored
  817a7ef

• Update README.md

  AndrasKovacs

  authored
  aa4962f

• Update README.md

  AndrasKovacs

  authored
  2f3a8ed

• Update README.md

  AndrasKovacs

  authored
  a9a4bea

• Update README.md

  AndrasKovacs

  authored
  331b0e9

• Update README.md

  AndrasKovacs

  authored
  d656920

Pagination

PreviousNext