| Sun, 17 Jul 2011 04:04:17 +0100 | Christian Urban | defined a function directly over a nominal datatype with bn | file | diff | annotate |
| Sat, 16 Jul 2011 21:36:43 +0100 | Christian Urban | more one the NBE example | file | diff | annotate |
| Fri, 15 Jul 2011 22:48:37 +0100 | Christian Urban | some improvements to the NBE example | file | diff | annotate |