Functional-Programming-In-Lean jozef-javorsky-dodo · COMPLETED
My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"
github.com/jozef-javorsky-dodo/Functional-Programming-In-Lean · ★ 0 · Forks 0 · Size 34 KB
SUMMARY
Technologies 1
Scored 1
Observed 1
Practices 6
Evidence 1
Skips 0
COVERAGE
Analyzed 22 files · 16 commits · 0 API calls
TECHNOLOGIES & DEPTH
JSON LANGUAGE Depth 70
1 files · PRODUCTION
PRACTICES
documentation · absentautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2023-06-30
Last commit 2023-07-16
Active months 2
Commits 16