Anish Tondwalkar atondwal
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| " vim: set virtualedit=all: | |
| " The following line is the macro that executes one step. | |
| `b"ayl`a/^a W"ay$'c@a`blmbmb | |
| " Set marks a,b,c at the second char of the 1st, 2nd, | |
| " and 3rd blank lines respectively, and then enjoy! | |
| + | |
| - | |
| > jmc |
atondwal
/ Haskell Extensions.ipynb
Last active
July 1, 2022 11:13
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
atondwal
/ haskell_extensions.txt
Created
July 22, 2018 20:25
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [('Unsafe', 52712), ('Trustworthy', 14516), ('Safe', 37584), ('AllowAmbiguousTypes', 3445), ('AlternativeLayoutRule', 141), ('AlternativeLayoutRuleTransitional', 106), ('Arrows', 5579), ('AutoDeriveTypeable', 1621), ('BangPatterns', 28197), ('BinaryLiterals', 434), ('CApiFFI', 1206), ('CPP', 61483), ('ConstrainedClassMethods', 532), ('ConstraintKinds', 11565), ('DataKinds', 32050), ('DatatypeContexts', 1306), ('DefaultSignatures', 3117), ('DeriveAnyClass', 4917), ('DeriveDataTypeable', 39651), ('DeriveFoldable', 3891), ('DeriveFunctor', 10136), ('DeriveGeneric', 34280), ('DeriveLift', 513), ('DeriveTraversable', 4038), ('DisambiguateRecordFields', 727), ('DoAndIfThenElse', 1404), ('DoRec', 545), ('DuplicateRecordFields', 2495), ('EmptyCase', 1061), ('EmptyDataDecls', 8617), ('ExistentialQuantification', 13108), ('ExplicitForAll', 2105), ('ExplicitNamespaces', 605), ('ExtendedDefaultRules', 1838), ('FlexibleContexts', 60080), ('FlexibleInstances', 77555), ('ForeignFunctionInterface', 12347), ('FunctionalDepend |
atondwal
/ haskell_extensions.txt
Created
July 14, 2018 04:45
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [('Haskell98', 3301), ('Haskell2010', 2261), ('Unsafe', 52547), ('Trustworthy', 14245), ('Safe', 37223), ('AllowAmbiguousTypes', 3422), ('NoAllowAmbiguousTypes', 2), ('AlternativeLayoutRule', 139), ('NoAlternativeLayoutRule', 1), ('AlternativeLayoutRuleTransitional', 105), ('NoAlternativeLayoutRuleTransitional', 1), ('Arrows', 5576), ('NoArrows', 9), ('AutoDeriveTypeable', 1617), ('NoAutoDeriveTypeable', 6), ('BangPatterns', 27971), ('NoBangPatterns', 24), ('BinaryLiterals', 434), ('NoBinaryLiterals', 2), ('CApiFFI', 1197), ('NoCApiFFI', 2), ('CPP', 61536), ('NoCPP', 60), ('ConstrainedClassMethods', 527), ('NoConstrainedClassMethods', 2), ('ConstraintKinds', 11537), ('NoConstraintKinds', 2), ('DataKinds', 31927), ('NoDataKinds', 20), ('DatatypeContexts', 1298), ('NoDatatypeContexts', 36), ('DefaultSignatures', 3118), ('NoDefaultSignatures', 2), ('DeriveAnyClass', 4855), ('NoDeriveAnyClass', 7), ('DeriveDataTypeable', 39537), ('NoDeriveDataTypeable', 2), ('DeriveFoldable', 3870), ('NoDeriveFoldable', 2), ('Der |
atondwal
/ xie16_1a.hs
Created
December 10, 2017 00:56
based on http://web.cs.iastate.edu/~weile/docs/xie_fse16.pdf fig1a (originially from [28])
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-@ LIQUID "--exact-data-cons" @-} | |
| {-@ LIQUID "--noterm" @-} | |
| module Test (indirect, snd3, fst3, thd3) where | |
| {-@ reflect snd3 @-} | |
| snd3 (x,y,z) = y | |
| {-@ reflect fst3 @-} | |
| fst3 (x,y,z) = x |
atondwal
/ configuration.nix
Created
August 11, 2017 02:52
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Edit this configuration file to define what should be installed on | |
| # your system. Help is available in the configuration.nix(5) man page | |
| # and in the NixOS manual (accessible by running ‘nixos-help’). | |
| { config, pkgs, ... }: | |
| { | |
| imports = | |
| [ # Include the results of the hardware scan. | |
| ./hardware-configuration.nix |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE ScopedTypeVariables #-} | |
| import qualified Data.ByteString.Lazy as BL | |
| import Data.Csv | |
| import qualified Data.Vector as V | |
| import Control.Arrow | |
| import Data.List | |
| import Data.Function | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| " vim: fdm=marker foldenable sw=4 ts=4 sts=4 | |
| " "zo" to open folds, "zc" to close, "zn" to disable. | |
| " {{{ Plugins | |
| " {{{ Plug setup | |
| se nocompatible | |
| let doinstall=0 | |
| if has("nvim") | |
| let path=$HOME."/.config/nvim/autoload/plug.vim" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import qualified XMonad.StackSet as W | |
| import XMonad | |
| import XMonad.Hooks.FadeInactive | |
| import XMonad.Hooks.FadeWindows | |
| import XMonad.Hooks.EwmhDesktops (ewmhDesktopsLogHook) | |
| import XMonad.Hooks.ManageDocks | |
| import XMonad.Layout.Fullscreen |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/src/Language/Fixpoint/Solver.hs b/src/Language/Fixpoint/Solver.hs | |
| index 1eefd65..765401e 100644 | |
| --- a/src/Language/Fixpoint/Solver.hs | |
| +++ b/src/Language/Fixpoint/Solver.hs | |
| @@ -143,7 +143,7 @@ inParallelUsing f xs = do | |
| -------------------------------------------------------------------------------- | |
| solveNative, solveNative' :: (NFData a, Fixpoint a) => Solver a | |
| -------------------------------------------------------------------------------- | |
| -solveNative !cfg !fi0 = (solveNative' cfg fi0) | |
| +solveNative !cfg !fi0 = solveNative' cfg fi0 |