Mava/Inductive_Calculus
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity
main
Inductive_Calculus/test/dune

3 lines
24 B
Plaintext
Raw Permalink Normal View History

First steps into Type Systems
2024-11-08 12:55:19 +01:00
(test
(name test_PTS))
Reference in New Issue Copy Permalink