Some toying with Swift generics to simulate proofs
This is a small playground that does not do much. In facts, it does not do anything at all except being checked by the Swift compiler.
The playground itself explains what this is all about.
Enjoy.
-
Notifications
You must be signed in to change notification settings - Fork 0
Some toying with Swift generics to simulate proofs
License
jonasf73/provable_swift
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Some toying with Swift generics to simulate proofs
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published