struct-copying assignment (python compiler) - Githubissues

Jmw150 / GOFAI-labs

0 stars 0 forks source link

struct-copying assignment (python compiler) #1

Open Jmw150 opened 3 years ago

Jmw150 commented 3 years ago

Make a protype of this parser in python

Jmw150 commented 3 years ago

This is for later translation into the harder Coq language