aelguindy/Mu — Issue #1: Constant Functions
Author: mnzaki
Created: 2012-03-02 21:16:04+00:00
State: open

Can we have them please? They are the very first point on the wiki article too!

Currently having to resolve to this:
const0 = chi[zero; pi[0;0]]
const1 = chi[succ; const0]

is quite annoying, *specially* when the same functions with different arity are needed!

Or am I missing something?