DanieleMarchei

Results 2 comments of DanieleMarchei

After a lot of trial and error I manage to make this use case work, here is the python script: ```python import datetime import os import random try: import binutil...

I stumbled upon this line of code while reading ```type.py``` ```python def tpair(a, b): return TypeConstructor("pair", [a, b]) ``` I guess pairs are already defined, and I think they are...