Skip to content
GitLab
Explore
Sign in
Register
Ioanna M. Dimitriou H.
lambda
Repository
lambda
ui.lisp
Find file
Blame
History
Permalink
Completed Tromp's SKI-calculus and its binary format:
· 518a5185
Ioanna M. Dimitriou H.
authored
Aug 06, 2019
implementation and tests added. Added the two new representations to the UI viewer. All tests pass.
518a5185