Definitely some major similarities, but HoL has a lot more depth (no pun intended).
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Definitely some major similarities, but HoL has a lot more depth (no pun intended).