Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help 
TLCI(1)			    General Commands Manual		       TLCI(1)

NAME
       tlci -- tiny lambda calculus interpreter

SYNOPSIS
       tlci
       tlci [files...]

DESCRIPTION
       The tlci	is a tiny portable lambda calculus interpreter written in C99.
       Running	it will	load the provided files	and drop you into a REPL. Exit
       the interpreter by pressing ^D or ^C.

SYNTAX
       Abstractions are	anonymous functions. Declare them as e.g. "\x.x".
       Apply functions to values by putting a space between function and argu-
       ment. E.g.: "f arg".
       Variables can be	bound through e.g. "let	foo = <some  expression>"  and
       deleted through "release	foo".

FILES
       /usr/local/bin/tlci

AUTHOR
       Nico Sonack <nsonack AT outlook <DOT> com>.

AUXILIARY			August 28, 2020			       TLCI(1)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=tlci&sektion=8&manpath=FreeBSD+Ports+14.3.quarterly>

home | help