This gist is part of a blog post. Check it out at:
http://jasonrudolph.com/blog/2011/08/09/programming-achievements-how-to-level-up-as-a-developer
Kabelo Moiloa 11Kilobytes
11Kilobytes
/ 7zip.json
Last active
October 26, 2016 17:11
Modified version of main 7zip app manifest to deal with totalitarian tech support. :p
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "homepage": "http://www.7-zip.org/", | |
| "license": "http://www.7-zip.org/license.txt", | |
| "version": "16.04", | |
| "architecture": { | |
| "64bit": { | |
| "url": "http://7-zip.org/a/7z1604-x64.exe", | |
| "hash": "9BB4DC4FAB2A2A45C15723C259DC2F7313C89A5AC55AB7C3F76BBA26EDC8BCAA" | |
| }, | |
| "32bit": { |
11Kilobytes
/ Dependent_PHOAS.agda
Created
January 20, 2016 19:52
— forked from GallagherCommaJack/Dependent_PHOAS.agda
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| data Ty : Set | |
| data Tm : Ty → Set | |
| postulate Var : Ty → Set | |
| data Ty where | |
| pi sg : (A : Ty)(B : Var A → Ty) → Ty | |
| data Subst {A} : (Var A → Ty) → Tm A → Ty → Set where | |
| -- need to fill this in |
11Kilobytes
/ about.md
Created
November 18, 2015 14:01
— forked from jasonrudolph/about.md
Programming Achievements: How to Level Up as a Developer