Wed, 10 Nov 2010 11:42:35 -0800 | huffman | rename class 'bifinite' to 'domain' | file | diff | annotate |
Sat, 30 Oct 2010 15:13:11 -0700 | huffman | change default_sort of HOLCF from pcpo to bifinite; rename command 'new_domain' to 'domain'; rename 'domain' to 'domain (unsafe)' | file | diff | annotate |
Fri, 08 Oct 2010 07:39:50 -0700 | huffman | rename class 'sfp' to 'bifinite' | file | diff | annotate |
Wed, 06 Oct 2010 10:49:27 -0700 | huffman | major reorganization/simplification of HOLCF type classes: | file | diff | annotate |
Wed, 19 May 2010 17:01:07 -0700 | huffman | move some example files into new HOLCF/Tutorial directory | file | diff | annotate | base |