LambdaBuffers toolkit for sharing types and their semantics between different languages
29
stars
0
forks
source link
Make doc chapter on 'Development' (updating, settings.nix, pre-commit.nix, pkgs.nix, hercules.nix etc). #127
Open
jaredponn opened 10 months ago