Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 10, 2022

• make hets compatible with ghc 8.8.6 and lts-16.31

  daniilsvc

  committed
  899ac96

  Copy full SHA for 899ac96

Commits on Mar 25, 2016

• applied utils/replaceAllHeaders.sh

  Show description for e9458b1
  

  Jens Elkner

  committed
  e9458b1

  Copy full SHA for e9458b1

Commits on Nov 29, 2013

• removed lots of hlint warnings

  Show description for 3d3889e
  sternk

  committed
  3d3889e

  Copy full SHA for 3d3889e

Commits on Aug 31, 2010

• Added see license.txt to license field

  Show description for 9889088
  

  Corneliu-Claudiu Prodescu

  authored and

  Corneliu-Claudiu Prodescu

  committed
  9889088

  Copy full SHA for 9889088

Commits on Aug 11, 2010

• Changed haddock headers and inserted empty headers for the ones missing

  Show description for b87efd3
  

  Corneliu-Claudiu Prodescu

  authored and

  Corneliu-Claudiu Prodescu

  committed
  b87efd3

  Copy full SHA for b87efd3

Commits on Nov 10, 2009

• hlinted

  Show description for 72b9099
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  72b9099

  Copy full SHA for 72b9099

Commits on Jul 2, 2009

• match and shapeUnify must beta-reduce types in the same way

  Show description for 7551e65
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  7551e65

  Copy full SHA for 7551e65

Commits on Sep 18, 2008

• removed double spaces after =

  Show description for de2f13b
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  de2f13b

  Copy full SHA for de2f13b

Commits on Jan 10, 2008

• removed unused code

  Show description for db849d5
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  db849d5

  Copy full SHA for db849d5

Commits on Nov 20, 2007

• corrected InVar to NonVar

  Show description for 6b1153c
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  6b1153c

  Copy full SHA for 6b1153c

Commits on Nov 1, 2007

• collect symbols

  Show description for d976ba4
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  d976ba4

  Copy full SHA for d976ba4

Commits on Oct 5, 2007

• improved comorphisms

  Show description for e949070
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  e949070

  Copy full SHA for e949070

Commits on Sep 19, 2007

• removed unused mgu stuff

  Show description for f76b4b1
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  f76b4b1

  Copy full SHA for f76b4b1

Commits on Sep 18, 2007

• removed comparePos (that equalled compare)

  Show description for cca95d3
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  cca95d3

  Copy full SHA for cca95d3

Commits on Sep 12, 2007

• joined redStep and hasStep into a single function

  Show description for a716971
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  a716971

  Copy full SHA for a716971

Commits on Aug 31, 2007

• inlined replTypeVar

  Show description for 6d96cc8
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  6d96cc8

  Copy full SHA for 6d96cc8

• make a difference between generic (negative) and positive type variable numbers when substituting

  Show description for ad623eb
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  ad623eb

  Copy full SHA for ad623eb

Commits on Aug 29, 2007

• differentiated renaming types for speed up

  Show description for 2143841
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  2143841

  Copy full SHA for 2143841

• added type folding

  Show description for 950e053
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  950e053

  Copy full SHA for 950e053

Commits on Jul 30, 2007

• added a fix for ticket #412

  Show description for 5334aa8
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  5334aa8

  Copy full SHA for 5334aa8

Commits on Jul 20, 2007

• added type var names to some generated ones

  Show description for ab0f35d
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  ab0f35d

  Copy full SHA for ab0f35d

Commits on Jul 18, 2007

• correctly Ord TypeScheme and reused freshInst

  Show description for 9ae2df7
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  9ae2df7

  Copy full SHA for 9ae2df7

Commits on Jul 16, 2007

• removed unused instantiation lists

  Show description for 7de39d3
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  7de39d3

  Copy full SHA for 7de39d3

Commits on Jul 10, 2007

• added haddock Description

  Show description for 81d182b
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  81d182b

  Copy full SHA for 81d182b

Commits on Jul 5, 2007

• changed my maintainer email

  Show description for 3f69b69
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  3f69b69

  Copy full SHA for 3f69b69

Commits on Jun 11, 2007

• keep alias names for type abstractions

  Show description for 9c03fbe
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  9c03fbe

  Copy full SHA for 9c03fbe

Commits on Jun 1, 2007

• only use single step beta reduction

  Show description for 793945d
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  793945d

  Copy full SHA for 793945d

• transition to using TypeAbs

  Show description for 0f0aa53
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  0f0aa53

  Copy full SHA for 0f0aa53

Commits on Feb 21, 2007

• switched to Data.Set, Data.Map and Data.Dynamic

  Show description for ad27000
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  ad27000

  Copy full SHA for ad27000

Commits on Feb 15, 2007

• checked the invariant raw kinds of types to be unified

  Show description for 0b14ccc
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  0b14ccc

  Copy full SHA for 0b14ccc

Commits on Jul 6, 2006

• replaced showPretty with showDoc

  Show description for 4ef2a97
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  4ef2a97

  Copy full SHA for 4ef2a97

Commits on Jun 22, 2006

• avoid Pretty instance for a list

  Show description for 6a546f8
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  6a546f8

  Copy full SHA for 6a546f8

• switched over to new Doc

  Show description for c438c79
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  c438c79

  Copy full SHA for c438c79

Commits on Apr 7, 2006

• switched to Common.Doc.Pretty

  Show description for 5a13581
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  5a13581

  Copy full SHA for 5a13581

Commits on Aug 24, 2005

• improved look of types

  Show description for 2986838
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  2986838

  Copy full SHA for 2986838

Pagination

Previous

Next