Erlend HamberginFra BlankAvhengige typer i praksisI forrige post i denne serien så vi på hva avhengige typer er, men fokuserte lite på hvordan de kan brukes i praksis. La oss derfor ta…Sep 9, 2016Sep 9, 2016
Erlend HamberginFra BlankHva i alle dager er «avhengige typer»?Ok, du er kanskje ikke en av de (omtrent null) programmererne som er virkelig interessert i typesystemer og følger med på utviklingen av…Jul 5, 2016Jul 5, 2016
Erlend HamberginFra BlankHey, Browser: Please Authenticate My DownloadIn today’s installment of “simple things that aren’t”: Dowloading a file from the browser with the Authorization header set.Jul 4, 20163Jul 4, 20163