diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 20:53:56 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 20:53:56 +0200 |
commit | 9d724f17e813fa344d485329d33b5f5ecf8197a3 (patch) | |
tree | 5061e604ea88a379db975b13c1d20688007cacc8 /ccross.mlb | |
parent | 7b29b31648fd737e7bbc007f480b799add91bc6b (diff) |
Functorization
Diffstat (limited to 'ccross.mlb')
-rw-r--r-- | ccross.mlb | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -13,11 +13,14 @@ in hashtable.sml tokenizer.sig - tokenizer.sml + tokenizer.fun cpp.sig - cpp.sml + cpp.fun - exn_handler.sml + exn_handler.sig + exn_handler.fun + + ccross.sig ccross.sml end |