description6e388cf22093afac3e2f107e5d979ea05f
last changeTue, 11 Mar 2014 02:14:01 +0000 (02:14 +0000)
shortlog
2014-03-11 Joey CapperFirst commit for the constraint-based type system imple... master
2014-03-10 Joey CapperInitial commit for the constraint-based type system...
2013-07-17 Joey CapperAdded some comments to help explain the code.
2013-02-26 Joey CapperStratified types slightly to fall more inline with...
2013-02-26 Joey CapperTweaked implementation to correctly include appropriate...
2010-07-15 Joey CapperAdded missing files FourierMotzkin and RationalExtras.
2010-07-15 Joey CapperSlight changes to infer again.
2010-07-15 Joey CapperFurther minor additions to infer.
2010-07-15 Joey CapperSlight modification of inference.
2010-07-14 Joey CapperRemoved extra top level agda files.
2010-07-14 Joey CapperRevert "Fixed the broken repo (excess files)."
2010-07-14 Joey CapperFixed the broken repo (excess files).
2010-07-14 Joey CapperAdded Haskell implementation.
2010-07-01 Joey CapperAdded an argument in favour of postulating the mgu.
2010-07-01 Joey CapperAdded README.
2010-07-01 Joey CapperInitial commit.
heads
23 months ago master