Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 30, 2017

• Cosmetic changes.

  sergei-romanenko

  committedDec 30, 2017
  33e92df

Commits on Nov 14, 2017

• Partial/Until.agda

  sergei-romanenko

  committedNov 14, 2017
  d18a325

Commits on Nov 9, 2017

• Partial/MutualNestedCalls

  sergei-romanenko

  committedNov 9, 2017
  ff91e0e

Commits on Oct 27, 2017

• Partial: more exsamples.

  sergei-romanenko

  committedOct 27, 2017
  a7e1a7b

Commits on Oct 24, 2017

• Partial/FF: f (2 + n)) = f (f n) .

  sergei-romanenko

  committedOct 24, 2017
  a66cfde

• 08-WellFounded: <-well-founded --> <′-well-founded

  sergei-romanenko

  committedOct 24, 2017
  f453a73

Commits on Oct 12, 2017

• commutative-monoids: cosmetic changes.

  sergei-romanenko

  committedOct 12, 2017
  8fd22dd

Commits on Oct 10, 2017

• SmallStep/SmallStepDepRec: A compiler that is correct "by construction".

  sergei-romanenko

  committedOct 10, 2017
  4947016

Commits on Sep 30, 2017

• 15-Reflection: reflection demo.

  sergei-romanenko

  committedSep 30, 2017
  96d993d

Commits on Sep 16, 2017

• SmallStep/SmallStepDepRec: refl --> ... ∎

  sergei-romanenko

  committedSep 16, 2017
  2b06264

• SmallStep/SmallStepDepRec: cosmetic changes.

  sergei-romanenko

  committedSep 16, 2017
  968b5f2

Commits on Jun 4, 2017

• 14-InfiniteDescent: cosmetic changes.

  sergei-romanenko

  committedJun 4, 2017
  0492293

Commits on May 22, 2017

• 14-InfiniteDescent: more examples.

  sergei-romanenko

  committedMay 22, 2017
  5a40d8d

Commits on May 17, 2017

• SmallStep/SmallStepDepRec: compiling to a list of instructions

  sergei-romanenko

  committedMay 17, 2017
  d70a091

Commits on May 13, 2017

• SmallStep/SmallStepDepRec: interpreter + compiler via explicit recursion.

  sergei-romanenko

  committedMay 13, 2017
  a7d8ddd

Commits on May 10, 2017

• 14-InfiniteDescent: ∀ m → ¬ (Even m × Odd m) .

  sergei-romanenko

  committedMay 10, 2017
  2393c56

• 14-InfiniteDescent: more examples.

  sergei-romanenko

  committedMay 10, 2017
  1f917d3

• Cosmetic changes.

  sergei-romanenko

  committedMay 10, 2017
  dbbf9f7

Commits on May 9, 2017

• 14-InfiniteDescent: more examples.

  sergei-romanenko

  committedMay 9, 2017
  9c9c53e

Commits on Apr 14, 2017

• 14-InfiniteDescent: natural numbers represented by lists.

  sergei-romanenko

  committedApr 14, 2017
  77c242c

Commits on Apr 8, 2017

• 14-InfiniteDescent: The P & Q example

  sergei-romanenko

  committedApr 8, 2017
  53425ab

Commits on Apr 6, 2017

• 14-InfiniteDescent

  sergei-romanenko

  committedApr 6, 2017
  04ab554

Commits on Oct 4, 2016

• Cosmetic changes.

  sergei-romanenko

  committedOct 4, 2016
  78e0bfb

Commits on Jan 30, 2015

• Moving the stuff in combinatory-logic to a separate repository.

  sergei-romanenko

  committedJan 30, 2015
  8001339

• combinatory-logic/STCC-Tait-SK: small improvements.

  sergei-romanenko

  committedJan 30, 2015
  1fad246

• combinatory-logic/STCC-Tait-SK: cosmetic changes.

  sergei-romanenko

  committedJan 30, 2015
  9e9d22e

Commits on Jan 29, 2015

• combinatory-logic/STCC-Tait-SK: "Tait in one big step". (Termination?)

  sergei-romanenko

  committedJan 29, 2015
  6babfb1

• Cosmetic changes.

  sergei-romanenko

  committedJan 29, 2015
  f01b8ed

Commits on Jan 18, 2015

• CmdLang/CmdLangSem-Copat: small improvements.

  sergei-romanenko

  committedJan 18, 2015
  73f04c2

• Cosmetic changes.

  sergei-romanenko

  committedJan 18, 2015
  9de5b41

Commits on Jan 11, 2015

• STCC-SystemT-red: Church-Rosser.

  sergei-romanenko

  committedJan 11, 2015
  78b1f42

• STCC-SK-red: Church-Rosser.

  sergei-romanenko

  committedJan 11, 2015
  5f6d6ab

Commits on Jan 10, 2015

• combinatory-logic: moving reduction-related stuff to separate modules.

  sergei-romanenko

  committedJan 10, 2015
  5185c95

• combinatory-logic: renaming modules.

  sergei-romanenko

  committedJan 10, 2015
  7d3bbf1

• STCC-SystemT-solver: Dec (x ≈ y) for System T.

  sergei-romanenko

  committedJan 10, 2015
  4fe2fba

Pagination

PreviousNext