Summing 1 billion consecutive integers
http://research.microsoft.com/en-us/um/people/simonpj/papers/ndp/haskell-beats-C.pdf
#include <stdio.h>
int main(int argc, char *argv[])
{
Summing 1 billion consecutive integers
http://research.microsoft.com/en-us/um/people/simonpj/papers/ndp/haskell-beats-C.pdf
#include <stdio.h>
int main(int argc, char *argv[])
{
{-# OPTIONS --copatterns #-} | |
module UntypedLambda where | |
open import Size | |
open import Function | |
mutual | |
data Delay (A : Set) (i : Size) : Set where |
// Usage : less2stylusDir('../src/css/'); | |
var fs = require('fs'); | |
// this less 2 stylus conversion script make a stylus easy to read syntax | |
// - let the braces | |
// - replace the @ for var as $ | |
// - let semicolons | |
function less2stylus(less) |
{-# LANGUAGE OverloadedStrings #-} | |
-- This is a very simple example of parsing and generating json with Aeson, | |
-- by a haskell newbie and intended for newbies. | |
-- | |
-- This almost certainly contains a number of bad practices. It works for | |
-- me and hopefully will get you started. | |
-- | |
-- I couldn't find a stand-alone example of Aeson usage and found it tricky to | |
-- get going. For example, if you don't realize to enable the language extension |
# Haskell stack project Github Actions template | |
# https://gist.github.com/mstksg/11f753d891cee5980326a8ea8c865233 | |
# | |
# To use, mainly change the list in 'plans' and modify 'include' for | |
# any OS package manager deps. | |
# | |
# Currently not working for cabal-install >= 3 | |
# | |
# Based on https://raw.githubusercontent.com/commercialhaskell/stack/stable/doc/travis-complex.yml | |
# |
application:open-your-keymap | |
application:open-your-stylesheet | |
autocomplete:attach | |
autoflow:reflow-paragraph | |
bookmarks:clear-bookmarks | |
bookmarks:jump-to-next-bookmark | |
bookmarks:jump-to-previous-bookmark | |
bookmarks:toggle-bookmark | |
bookmarks:view-all | |
check:correct-misspelling |
# TextMate tutorial: http://manual.macromates.com/en/language_grammars | |
# Regex to convert keys to unquoted: '(include|match|captures|begin|end|beginCaptures|endCaptures|name|patterns|0|1|2|3|4|5|6|7|8|9|comment|fileTypes|scopeName|repository|contentName|firstLineMatch|foldingStartMarker|foldingStopMarker)': | |
scopeName: 'source.<scope>' # <scope> should be a short, unique indicator for the language ("js", "php", "c", etc.) | |
name: '<name>' # The title that will show up in grammar selection and on your status bar. | |
fileTypes: [ # An array of file extensions. | |
'txt' | |
'exif' | |
] |