nandi.uk / mlang
This repository has no description
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

mlang / Mlang / NickelHost.lean
317 B 7 lines
1namespace Mlang.NickelHost 2 3@[extern "mlang_nickel_eval_string"] opaque evalString (source : @& String) : IO String 4@[extern "mlang_nickel_eval_file_string"] opaque evalFile (path : @& String) : IO String 5@[extern "mlang_json_eval_string"] opaque evalJsonString (source : @& String) : IO String 6 7end Mlang.NickelHost