HAL

HAL
All Links

Share this:

Details of HAL

About HAL
HAL- Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
Emacs Lisp