Authored by Nikolaj Kuntner
Created on 7. June 2017
This is the repository for Idris code developed in the youtube series.
Parts of this are extending upon the files from the Free Downloads section on the Manning book page.
-
Notifications
You must be signed in to change notification settings - Fork 0
Code files from the youtube series on Idris
License
Nikolaj-K/idris
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Code files from the youtube series on Idris
Resources
License
Stars
Watchers
Forks
Releases
No releases published