5 lines
69 B
Plaintext
5 lines
69 B
Plaintext
(lang dune 3.21)
|
|
(name lambda_sub)
|
|
(using rocq 0.11)
|
|
(version 0.1.0)
|