~thon/thon

ref: cf08c4705ad8b2eab88c6c9d4a81b828f5cfe869 thon/examples/typnames.thon -rw-r--r-- 53 bytes
cf08c470Evan Bergeron Build map over types and use it to erase names for type equality 6 months ago
                                                                                
1
2
3
ifz Z of
  Z -> poly t -> (Z)
| S p -> poly s -> (Z)