erg_compiler 0.6.3

Centimetre: the Erg compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

from _erg_int import Int
from _erg_nat import Nat

def int__(i):
    try:
        return Int(i)
    except:
        return None

def nat__(i):
    try:
        return Nat(i)
    except:
        return None