sk
sk' is intended to allow experimentation with combinatory logic.
[ Homepage ]
| Author: | Fabrice Marchant. |
| Last modification date: | 21-Jan-2008 |
| Development status: | Development code |
| Kind: | Applications written in Caml :: Toys - Examples |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://fabrice.marchant.free.fr/sk/ |