News
typed de Bruijn indicesps.informatik.uni-tuebingen.de/teaching/ws15/pdt/09pat/TypedDeBruijn.agda
ps.informatik.uni-tuebingen.de
... and not levels (which work the other way around). data Term : Context → Type → Set where lit : ∀ {Γ} → (v : ℕ) → Term Γ Nat var : ∀ {τ Γ} → Var Γ τ → Term Γ ...
Niels fik zikavirus: Den første nat var den værste – Ekstra Bladet
ekstrabladet.dk
Den 25-årige medicinstuderende, der i går fik konstateret zikavirus som den første dansker, blev lettet over diagnosen
politiken.dk: I nat var den koldeste aprilnat i ni år - politiken.dk
...men den slår trods alt ikke temperaturen, der blev målt i april
Advarer turister i Amsterdam: Gå ikke ud efter mørkets frembrud –...
ekstrabladet.dk
Den hollandske storby er blevet en ’lovløs jungle’ og politiet har helt mistet kontrollen, advarer byens ombudsmand
sorted by relevance / date