Skip to content
GitLab
Explore
Sign in
Simon Spies
lambda-rust
Repository
lambda-rust
theories
typing
lib
arc.v
Find file
Blame
History
Permalink
avoid some deprecated functions
· 36ca289a
Ralf Jung
authored
Aug 12, 2022
36ca289a