ilyakooo0/grenade
1
0
Fork 0
mirror of https://github.com/ilyakooo0/grenade.git synced 2024-09-11 06:35:23 +03:00
Code Issues Projects Releases Wiki Activity

Update README.md

Browse Source 
Add links to Justin Le and the practical dependent types in haskell blog post, so others don't have to jump through google to find the relevant links :-)
This commit is contained in:
Moritz Angermann 2016-10-17 18:10:13 +08:00 committed by GitHub
parent 3e335a0c76
commit b2136e9751
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -59,8 +59,8 @@ Grenade is currently known to build with ghc 7.10 and 8.0.
Thanks
------
Writing a library like this has been on my mind for a while now, but a big shout out must go to Justin Le, whose
dependently typed fully connected network inspired me to get cracking, gave many ideas for the type level tools I
Writing a library like this has been on my mind for a while now, but a big shout out must go to [Justin Le](https://github.com/mstksg), whose
[dependently typed fully connected network](https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html) inspired me to get cracking, gave many ideas for the type level tools I
needed, and was a great starting point for writing this library.
Performance