Skip to content

Instantly share code, notes, and snippets.

View atondwal's full-sized avatar

Anish Tondwalkar atondwal

37 followers · 19 following
View GitHub Profile
@atondwal
atondwal / Haskell Extensions.ipynb
Last active July 1, 2022 11:13
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@atondwal
atondwal / haskell_extensions.txt
Created July 22, 2018 20:25
[('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
atondwal / haskell_extensions.txt
Created July 14, 2018 04:45
[('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
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])
{-@ 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
atondwal / configuration.nix
Created August 11, 2017 02:52
# 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
@atondwal
atondwal / csv.hs
Created July 5, 2017 22:14
{-# 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
@atondwal
atondwal / init.vim
Created April 18, 2017 00:25
" 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"
@atondwal
atondwal / xmonad.hs
Created April 18, 2017 00:24
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
@atondwal
atondwal / -
Created November 16, 2016 01:59
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
@atondwal
atondwal / listerrors
Created November 4, 2016 05:46
LiquidHaskell Copyright 2009-15 Regents of the University of California. All Rights Reserved.

**** DONE: A-Normalization ****************************************************


**** DONE: Extracted Core using GHC *******************************************


**** DONE: Transformed Core ***************************************************