shikantaza/fomega_c

fomega_c is an interpreter for the F-omega language, written in C.

In addition to F-omega expressions, fomega_c also supports these convenience commands:

<var>=<expression>        - To define terms
<var>=<type expression>   - To define types
<var>:<type expression>   - To create a term judgement
<var>:<kind expression>   - To create a type judgement
unbindvar <var>           - To undefine a term variable
undefvar <var>            - To remove a term variable judgement
undeftype <var>           - To remove a type variable judgement
listvars                  - To display the list of all the currently-defined term variables
listtypes                 - To display the list of all the currently-defined type variables
gettype <var>             - To display the type of a given variable
envreset                  - To clear all the definitions in the current interpreter session