oeiuwq.com / godnet
A Golang runtime and compilation backend for Delta Interaction Nets.
fork atom
godnet / cmd / gentests / generated /
at main 28 folders
oeiuwq.com move generated tests
e3dfcadc
001_id
002_id_id
003_k_1
004_k_2
005_erase_complex
006_s_1
007_s_2
010_zero
011_one
012_two
013_succ_0
020_true
021_false
022_not_true
023_not_false
024_and_true_true
025_and_true_false
030_pair_fst
031_pair_snd
040_let_simple
041_let_id
051_share_app
070_share_complex
071_erase_shared
081_nested_app
090_free_1
091_free_app
100_mixed_1