#
045e1e0a |
|
19-Mar-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add fold and vfilter entry-points to Ho_Net module The second is called vfilter because it's only filtering on the stored value, not the "key" (the term list*term pattern). Similarly, the fold only gets access to the stored values.
|
#
beec8de4 |
|
24-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs in some source code, replacing them with spaces Use Emacs's conception of how many spaces the TAB was representing (and the M-x untabify command). This may not line up with the author's original conception, but then, using TABs makes it impossible to tell just what the original conception was in the first place anyway. Should probably script this over all of repository (excluding makefiles of course), and use standard expand or col utilities rather than emacs.
|
#
4888f523 |
|
15-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove eqtype declaration for term type
|
#
059e250f |
|
15-Oct-2014 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
rename Ho_Net.empty_net to Ho_Net.empty All similar structures (e.g. Net and Raw) use "empty" not "empty_net"; it seems right to follow a single naming convention.
|
#
1bc9f344 |
|
13-Jan-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Change src/bool to src/1 as a prelude to experimentation!
|