Skip to content

Instantly share code, notes, and snippets.

@bamboo

bamboo/dotnet-idris-faster-than-idris.md

Created January 9, 2017 18:12
Show Gist options
  • Save bamboo/49211f7d7f073b9fa520f50d5f60447c to your computer and use it in GitHub Desktop.
Save bamboo/49211f7d7f073b9fa520f50d5f60447c to your computer and use it in GitHub Desktop.
Download ZIP
dotnet core can execute idris faster than idris
Raw
dotnet-idris-faster-than-idris.md 
➜  /tmp  time ./pythag-idris > /dev/null
4.49s user 0.02s system 99% cpu 4.514 total
➜  /tmp  time dotnet pythag-idris.exe > /dev/null
4.23s user 0.03s system 99% cpu 4.265 total

pythag.idr

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment