leonv/inductive-lambda
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
inductive-lambda/.gitattributes

2 lines
35 B
Text
Raw Permalink Normal View History

somewhat initial
2024-11-27 16:13:05 +01:00
flake.lock linguist-generated=true
Reference in a new issue Copy permalink