flygdynamikern.blogspot.com Support this person and others with 1-click micro-donations
Björn's Activity
flattred reactive-banana
20 weeks ago
flattred FRP - Upcoming API changes in reactive-banana 0.5
20 weeks ago
Björn's Latest Things
ANNOUNCE: dimensional-tf-0.10 – Statically checked physical dimensions with type families
As promised when I released numtype-tf in January I have now also created the dimensional-tf library – a conversion of the dimensional librar... [ flygdynamikern.blogspot.com ]
Type level integers with Type Families (numtype-tf 0.1)
...I’ve implemented the numtype-tf library which is in essence numtype using type families (hence the “-tf”) instead of functional dependencies.... [ flygdynamikern.blogspot.com ]
Yesod Cookbook: Internationalized Form
Yesod has a pretty awesome library for programming with forms and also a flexible but currently under-documented system for internationalization. H... [ flygdynamikern.blogspot.com ]
Toy URL shortener with Yesod and acid-state
Herein we will create a rudimentary unsafe URL shortener – a toy. We will see how to use David Himmelstrup’s acid-state to persist a data structure... [ flygdynamikern.blogspot.com ]
ANNOUNCE: dimensional-0.10
I just released version 0.10 of the dimensional library, adding an Enum instance for quantities. [ flygdynamikern.blogspot.com ]
