Commit 46d9b0cc authored by Heiko Becker's avatar Heiko Becker

Fforward CakeML and HOL

parent babc1c42
ce7414f3a9b67a55c010a5194ca0029e347b7810 8e183cc626814e8bfbee46abcbf51798ee1c69b6
Subproject commit 9cc6eb009b0a3e368fdd31da541b59e171bbf8e4 Subproject commit c158f1ade07e9eb7d2db9fc7e8d9faff8156452f
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment