Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 1, 2025

• Add LICENSE

  uelis

  authored
  fa19a74

  Copy full SHA for fa19a74

Commits on Oct 31, 2014

• added @author comments to the examples

  uelis

  committed
  d0d29b6

  Copy full SHA for d0d29b6

Commits on Sep 6, 2012

• Corrected case for LWeak in compilation to WC

  uelis

  committed
  c280e8c

  Copy full SHA for c280e8c

Commits on Sep 5, 2012

• Correction to parsing and printing

  Show description for 7e1aa0d
  uelis

  committed
  7e1aa0d

  Copy full SHA for 7e1aa0d

Commits on May 17, 2012

• clarified comment

  uelis

  committed
  3fee18c

  Copy full SHA for 3fee18c

• Example of STT-term not typeable in IntML

  uelis

  committed
  4bedb72

  Copy full SHA for 4bedb72

Commits on Apr 7, 2012

• printing of type annotations

  uelis

  committed
  34a6304

  Copy full SHA for 34a6304

Commits on Apr 2, 2012

• typo

  uelis

  committed
  a7ec96b

  Copy full SHA for a7ec96b

• simulation

  uelis

  committed
  0bbfba8

  Copy full SHA for 0bbfba8

Commits on Mar 30, 2012

• substitution bug

  uelis

  committed
  f56c92c

  Copy full SHA for f56c92c

Commits on Mar 28, 2012

• kierstead example

  uelis

  committed
  6c47c9f

  Copy full SHA for 6c47c9f

• readme

  uelis

  committed
  6c3066b

  Copy full SHA for 6c3066b

Commits on Mar 26, 2012

• formatting

  uelis

  committed
  e72efae

  Copy full SHA for e72efae

• formatting

  uelis

  committed
  d9dd2e4

  Copy full SHA for d9dd2e4

• Merge branch 'master' of github.com:uelis/IntML

  uelis

  committed
  57f8ad0

  Copy full SHA for 57f8ad0

• formatting

  uelis

  committed
  8e5c04d

  Copy full SHA for 8e5c04d

• .

  uelis

  committed
  93848e8

  Copy full SHA for 93848e8

• reference to Moeller-Neergards thesis; readme

  uelis

  committed
  f0d6b3b

  Copy full SHA for f0d6b3b

• source drop

  uelis

  committed
  c0b0a6b

  Copy full SHA for c0b0a6b