Back to search
A resource for concept transfer of programming basics from Python to Dafny and then Idris.
Stars
0
Forks
0
Watchers
0
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
29
commits
[ typo ] Types from the index and second and third sections.
da2c6ceView on GitHub[ content ] typo fixes and content on generics
ef62df3View on GitHub[ content ] on basics and improvements to datatypes.
1a76e85View on GitHub