3 ms·20 year old paper. People interested in total functions should probably have a good look at Idris.by lynx23 3y ago20 year old paper. People interested in total functions should probably have a good look at Idris.