It would be really cool to have this implemented on a language with implicit functions (like VDM, where you can define a function by its postcondition alone). W

It would be really cool to have this implemented on a language with implicit functions (like VDM, where you can define a function by its postcondition alone). Who knows, it might actually work. https://en.wikipedia.org/wiki/Vienna_Development_Method#Functional_modelling https://en.wikipedia.org/wiki/Vienna_Development_Method#Func...