Niklas Larsson

icon indicating an email [email protected]

icon location Malmö, Sweden

Results 2 repositories owned by Niklas Larsson

get-idris

16
Stars
7
Forks
Watchers

Setting up an Idris dev environment on Windows

verified publisher icon melted

idris-chez

47
Stars
3
Forks
Watchers

An idris backend compiling to chez scheme

verified publisher icon melted