first commit
Make file
More in dialectica
splitting into two files
Added dialectica interpretation