PROGRAMS BY vlcmm.sf.net

We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.