#
4e15703a |
|
17-Jun-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix examples/machine-code/garbage-collectors for tight equality
|
#
4b9431d8 |
|
04-May-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Finish fixing machine-code for new by build --selftest=3 now completes; I'm ready to merge into master.
|
#
caf04fc3 |
|
08-Aug-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Build more machine-code example thys with pat_assum
|
#
845531b5 |
|
14-Sep-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove trailing whitespace in source files.
|
#
415a155c |
|
31-May-2010 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
I've changed the way tail-recursive functions are defined. They are now defined based on a step function: step: 'a -> 'a + 'b Tail-recursive functions loop until their step function returns something in the right component (INR).
|
#
88c33b81 |
|
26-Mar-2010 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
A general update.
|