diff options
| author | stuebinm | 2021-04-11 03:37:32 +0200 |
|---|---|---|
| committer | stuebinm | 2021-04-11 03:37:32 +0200 |
| commit | fa49e0bf71ccd4bc98df0fa83546250c1b849e2e (patch) | |
| tree | f84c1ff8000fe87fae6b7c703e6b7871101a5094 /isabelle-nix-fhsenv/default.nix | |
| parent | f7605dfefa304b1a7b20a474ce168cd5b9849533 (diff) | |
simple ffi with rust and haskell
so far, only calling rust from haskell, not the other way round.
Diffstat (limited to 'isabelle-nix-fhsenv/default.nix')
0 files changed, 0 insertions, 0 deletions